1845 search results - page 113 / 369 » Operating System Performance in Support of Real-Time Middlew... |
256
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
117
click to vote
IEEEIAS
2008
IEEE
15 years 9 months ago
2008
IEEE
: An intrusion detection system should support the operator of the system. Thus, in addition to producing alerts, it should allow for easy insertion of new detection algorithms. It...
127
click to vote
TOCS
2008
15 years 3 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
102
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
This paper proposes a framework for ontology-based design support systems, called DRIFT (Design Rationale Integration Framework of Three layers), which records, structures and retr...
ADAEUROPE
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Although Ada defines a number of mechanisms for specifying scheduling policies, only one, Fifo Within Priorities is guaranteed to be supported by all implementations of ...