1895 search results - page 223 / 379 » Modular Functional Descriptions |
107
Voted
ADBIS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
143
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
141
click to vote
KR
2010
Springer
15 years 7 months ago
2010
Springer
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
138
Voted
SRDS
1999
IEEE
15 years 6 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 ...
146
Voted
MSO
2003
15 years 3 months ago
2003
The use of sub-optimal digital systems can at times lead to high speed, efficient, costeffective structures that are sufficient to perform needed tasks. We describe here a system ...