1036 search results - page 192 / 208 » Ubiquitous Verification of Ubiquitous Systems |
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
—WPAN technologies such as IEEE 802.15.4 have been introduced to allow for energy-efficient communication of control and sensor data. In certain application areas, it is benefici...
VLDB
2007
ACM
14 years 1 months ago
2007
ACM
This tutorial presents the definition, the models and the techniques of location privacy from the data privacy perspective. By reviewing and revising the state of art research in ...
NETGAMES
2006
ACM
14 years 1 months ago
2006
ACM
Pervasive games provide a new type of game combining new technologies with the real environment of the players. While this already poses new challenges to the game developer, requ...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
The widely used Mark-and-Sweep garbage collector has a drawback in that it does not move objects during collection. As a result, large long-running realistic applications, such as...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...