3921 search results - page 762 / 785 » Transforming Models with ATL |
LOCA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
SG
2005
Springer
14 years 1 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
DMSN
2004
ACM
14 years 1 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
PODC
2004
ACM
14 years 1 months ago
2004
ACM
We propose a framework to translate certain subclasses of diļ¬erential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...