1301 search results - page 240 / 261 » Specifications via Realizability |
139
Voted
CAIP
2005
Springer
15 years 9 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...
119
Voted
ASPLOS
2004
ACM
15 years 9 months 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...
128
Voted
OOPSLA
2004
Springer
15 years 9 months 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...
121
Voted
SAC
2003
ACM
15 years 9 months 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...
146
Voted
BTW
2003
Springer
15 years 8 months 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...