5525 search results - page 1083 / 1105 » Verification of Model Transformations |
SG
2005
Springer
14 years 4 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 4 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 4 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 4 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ļ¬...
ADBIS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...