159 search results - page 28 / 32 » Living with the abstract: realism and models |
B
2007
Springer
14 years 17 days ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
AISB
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
DICTA
2003
13 years 10 months ago
2003
Abstract. Psychosis is a mental disorder that affects 1–2% of the population at some point in their lives. One of the main causes of psychosis is the mental illness schizophreni...
OPODIS
2004
13 years 10 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
TEDU
2008
13 years 7 months ago
2008
Abstract. Traditionally, medical education has used live patients to teach medical procedures. This carries a significant risk to patients. As learning technology advances, the ear...