2558 search results - page 362 / 512 » Model Composition Contracts |
122
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
It is possible to model avatars that learn to simulate object manipulations and other complex actions. A number of applications may benefit from this technique including safety, e...
120
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
120
click to vote
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
158
click to vote
MMM
2003
Springer
15 years 9 months ago
2003
Springer
The Digital Video Album (DVA) system described here integrates various cooperating subsystems to index and query video documents according to their semantic content and other meta...
173
click to vote
EUROCAST
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...