1524 search results - page 34 / 305 » Operational Semantics of Hybrid Systems |
ISKI
1992
15 years 1 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
HYBRID
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. In this paper we investigate orthogonal polyhedra, i.e. polyhedra which are finite unions of full-dimensional hyper-rectangles. We define representation schemes for the...
SRDS
1999
IEEE
15 years 2 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
187
click to vote
ICFP
2009
ACM
15 years 10 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
CIMCA
2008
IEEE
15 years 4 months ago
2008
IEEE
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...