10 search results - page 1 / 2 » Logical Specification of Real-Time Granular Systems in an Ob... |
IJCAI
1993
13 years 5 months ago
1993
WORDS
2003
IEEE
13 years 9 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
UML
2000
Springer
13 years 8 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
ICSE
2007
IEEE-ACM
13 years 10 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
EDBT
2002
ACM
14 years 4 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...