433 search results - page 87 / 87 » Description Logics in the Calculus of Structures |
SRDS
1999
IEEE
13 years 10 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 ...
JUCS
2008
13 years 6 months ago
2008
: During the last decades, digital objects have become the primary medium to create, shape, and exchange information. However, in contrast to analog objects such as books that dire...
ICDT
2012
ACM
11 years 8 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...