3844 search results - page 150 / 769 » Modular interpreted systems |
132
click to vote
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
106
Voted
WSC
1997
15 years 4 months ago
1997
The modeling of computer systems, particularly distributed systems, is presented with an emphasis on the system characteristics that are important to the model and some general me...
233
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
We introduce IR-Wire, a tool for information retrieval research and education in peer-to-peer file-sharing systems. Built on top of LimeWire's implementation of the popular G...
MVA
1998
15 years 4 months ago
1998
This paper presents research work in the area of analysis, extraction, and recognition of aesthetic information from architectural drawings. A computer-based system is developed t...
122
Voted
DEDS
1998
15 years 3 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...