4184 search results - page 82 / 837 » Names of Our Lives |
SOFSEM
2009
Springer
15 years 8 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
ECAL
2007
Springer
15 years 6 months ago
2007
Springer
Agency detection is studied in a simple simulated model with embodied agents. Psychological experiments such as double TV-monitor experiments and perceptual crossing show the centr...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
AVI
2000
15 years 1 months ago
2000
This paper proposes a framework for easily integrating and controlling information visualization (infoVis) components within web pages to create powerful interactive "live&qu...
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...