1661 search results - page 91 / 333 » Real-time specification patterns |
AIME
1997
Springer
15 years 2 months ago
1997
Springer
: Clinical guidelines reuse existing clinical procedural knowledge while leaving room for flexibility by the care provider applying that knowledge. Guidelines can be viewed as gene...
103
click to vote
CIKM
2010
Springer
14 years 5 months ago
2010
Springer
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
ICSE
2007
IEEE-ACM
15 years 4 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, ...
100
click to vote
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
105
click to vote
EMSOFT
2008
Springer
14 years 12 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...