1809 search results - page 202 / 362 » A Formal Specification of dMARS |
ENTCS
2002
13 years 9 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
PE
2002
Springer
13 years 9 months ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
WER
1998
Springer
14 years 1 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
APAQS
2001
IEEE
14 years 28 days ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...