57 search results - page 8 / 12 » A Logical Foundation for Environment Classifiers |
IFIP
2004
Springer
15 years 2 months ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
ICLP
1989
Springer
15 years 1 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
SAC
2010
ACM
14 years 9 months ago
2010
ACM
This paper describes a new generic metadata model, called CAM Metamodel, that merges altogether information about content, services, physical and technical environment in order to...
CACM
2010
14 years 7 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
108
Voted
CIDR
2003
14 years 11 months ago
2003
We introduce a system to address the challenges involved in managing the multidimensional sensor data streams generated within immersive environments. We call this data type, imme...