April 5, 2016
10:00 - 11:40AM
The requirements problem is the problem of deriving a specification consisting of functions and quality constraints that along with a set of domain assumptions satisfy a given set of requirements. We present several formulations of the requirements problem to account for changing requirements, adaptive software design and the next release problem. In each case, we discuss the tractability of algorithms that search spaces of alternatives to find Pareto-optimal solutions to the problem. This is joint work with many colleagues and students, including Roberto Sebastiani, Paolo Giorgini, Fatma Aydemir, Chi Mai Nguyen (UniTN), Neil Ernst (CMU), Alex Borgida (Rutgers) and Ivan Jureta (Namur).
John Mylopoulos holds a professor emeritus position at the Universities of Toronto and Trento. He earned a PhD degree from Princeton University in 1970 and joined the faculty of the Department of Computer Science at the University of Toronto the same year. His research interests include conceptual modelling, requirements engineering, data semantics and knowledge management. Mylopoulos is a fellow of the Association for the Advancement of Artificial Intelligence (AAAI) and the Royal Society of Canada (Academy of Applied Sciences). He has served as programme/general chair of international conferences in Artificial Intelligence, Databases and Software Engineering, including IJCAI (1991), Requirements Engineering (1997, 2011), and VLDB (2004). Mylopoulos is currently leading a project titled "Lucretius: Foundations for Software Evolution, funded by an advanced grant from the European Research Council.
Thursday April 7, 2016
10:00 - 11:40AM
Dr. Marco Conti
Title: From MANET to people-centric computing and communications
In this talk, we first discuss the evolution of the multi-hop ad hoc networking paradigm from MANET to the emerging people-centric networking, where personal mobile devices link the cyber-world with the physical world. People-centric networking leads immediately to emerging localized communication and computing services that are tightly coupled with people and their devices (e.g., mobile data offloading, opportunistic computing, etc.). In the second part of the talk, we discuss how the human behavior (e.g., human social organization) and its cognitive constraints can affect computing and communications in the cyber-physical world. Specifically, we show how embedding models of human behavior into information dissemination protocols can optimize information diffusion.
Marco Conti is a Research Director of the Italian
National Research Council (CNR) and, currently,
he is the Director of the CNR Department of
Engineering, ICT and Technologies for Energy
and Transportation. He has published in journals
and conference proceedings more than 350 research
papers related to design, modelling, and experimentation
of computer networks, future Internet, social
networks and pervasive computing systems. He
co-authored the books: "Metropolitan Area
Networks (MANs): Architectures, Protocols and
Performance Evaluation" (Springer 1997)
and "Online Social Networks: Human Cognitive
Constraints in Facebook and Twitter Personal
Graphs" (Elsevier, 2015), and he is co-editor
of the books: "Mobile Ad hoc networking:
the cutting edge technologies," (IEEE-Wiley
2013), "Mobile Ad Hoc Networking"
(IEEE-Wiley 2004), and Mobile Ad Hoc Networks:
from Theory to Reality (Nova Science Publishers
2007). He is Editor-in-Chief of Elsevier Computer
Communications journal and Associate Editor-in-Chief
of Elsevier Pervasive and Mobile Computing journal.
He received the best paper award at several
conferences, including IFIP TC6 Networking 2011
and IEEE WoWMoM 2013. He served as TPC chair
for several major conferences -- including IFIP
Networking 2002, IEEE WoWMoM 2005, IEEE PerCom
2006, and ACM MobiHoc 2006 -- and he was general
chair (among many others) for IEEE WoWMoM 2006,
IEEE MASS 2007 and IEEE PerCom 2010. He is the
founder of successful conference and workshop
series, such as ACM RealMAN, IEEE AOC, ACM MobiOpp,
and IFIP/IEEE SustainIT.