Software Technologies: Applications and Foundations
STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Page
%P
5 Result(s)
within
Paolo Milazzo
Artificial Intelligence
Logics and Meanings of Programs
-
Chapter and Conference Paper
An Algorithm for Simulating Human Selective Attention
The brain mechanism of selective attention plays a key role in determining the success of a human’s interaction with a device. If the user has to perform concurrent tasks by interacting simultaneously with more t...
-
Chapter and Conference Paper
A Computational Model of Internet Addiction Phenomena in Social Networks
Addiction is a complex phenomenon, stemming from environmental, biological and psychological causes. It is defined as a natural response of the body to external stimuli, such as drugs, alcohol, but also job, l...
-
Chapter and Conference Paper
Formalizing a Notion of Concentration Robustness for Biochemical Networks
The main goal of systems biology is to understand the dynamical properties of biological systems by investigating the interactions among the components of a biological system. In this work, we focus on the rob...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables
Among Model Checking tools, the behaviour of a system is often formalized as a transition system with atomic propositions associated with states (Kripke structure). In current modelling languages, transitions are...
