10 search results - page 1 / 2 » Logical Specification of Real-Time Granular Systems in an Ob... |
IJCAI
1993
13 years 7 months ago
1993
WORDS
2003
IEEE
13 years 11 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 10 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
14 years 14 days 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 6 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...