1301 search results - page 240 / 261 » Specifications via Realizability |
CAIP
2005
Springer
14 years 1 months ago
2005
Springer
In order to achieve precise, accurate and reliable tracking of human movement, a 3D human model that is very similar to the subject is essential. In this paper, we present a new sy...
ASPLOS
2004
ACM
14 years 29 days ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...
OOPSLA
2004
Springer
14 years 27 days ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
SAC
2003
ACM
14 years 24 days ago
2003
ACM
Recent developments in mobile technologies and associated economies of scale via mature manufacturing processes have made possible the construction of pervasive systems in specifi...
BTW
2003
Springer
14 years 23 days ago
2003
Springer
Dissemination systems are used to route information received from many publishers individually to multiple subscribers. The core of a dissemination system consists of an efficient...