581 search results - page 5 / 117 » Abstract Semantics by Observable Contexts |
ICALP
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
JUCS
2002
13 years 7 months ago
2002
Abstract: Observation is a fundamental interaction pattern in today's computerbased systems. Adopting observation as the main modelling criterion, computer-based systems can b...
INTERACT
2007
13 years 8 months ago
2007
Abstract. This paper examines the use of surveys in measuring privacy concerns in ubiquitous computing environments. Two evaluation techniques are used to study the privacy concern...
LICS
1993
IEEE
13 years 11 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
EPIA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...