5536 search results - page 1071 / 1108 » Programming Languages for Distributed Applications |
TMC
2010
13 years 8 months ago
2010
—This paper presents SYNAPSE++, a system for over the air reprogramming of wireless sensor networks (WSNs). In contrast to previous solutions, which implement plain negative ackn...
ICPPW
2009
IEEE
14 years 4 months ago
2009
IEEE
—Despite many technology advances, the limited computing power of sensors encumber them from taking part in service-oriented architectures. In recent years, the sensornetworking ...
FM
2009
Springer
14 years 4 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
VRST
2003
ACM
14 years 3 months ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...