4434 search results - page 659 / 887 » On the Composition of Hybrid Systems |
192
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
214
click to vote
MTV
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
172
click to vote
VR
2007
IEEE
16 years 27 days ago
2007
IEEE
Anywhere Augmentation pursues the goal of lowering the initial investment of time and money necessary to participate in mixed reality work, bridging the gap between researchers in...
166
click to vote
HVC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
153
Voted
KI
2007
Springer
16 years 23 days ago
2007
Springer
The W3C standard OWL provides a decidable language for representing ontologies. While its use is rapidly spreading, efforts are being made by researchers worldwide to augment OWL ...