2123 search results - page 295 / 425 » Composition of Cyber-Physical Systems |
130
Voted
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
180
Voted
VR
1993
IEEE
15 years 8 months ago
1993
IEEE
The technical limitations of early Virtual Reality systems made them almost teasers for showing the potential of the technology. Since these early days, many researchers have focu...
140
Voted
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
121
Voted
DMIN
2006
15 years 6 months ago
2006
: Data warehouse technology transforms the operational data store to general and compositive information. It also provides effective way for analysis and statistic to the mass data...
143
Voted
ACL
1998
15 years 6 months ago
1998
We show how the DOP model can be used for fast and robust processing of spoken input in a practical spoken dialogue system called OVIS. OVIS, Openbaar Vervoer Informatie Systeem (...