581 search results - page 76 / 117 » Systematic Implementation of Real-Time Models |
IQ
2000
13 years 11 months ago
2000
Organizations have recognized the need for high quality information and academics have proposed several methods to measure and improve information quality. One such method is to m...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
MIR
2006
ACM
14 years 3 months ago
2006
ACM
The variety of features available to represent multimedia data constitutes a rich pool of information. However, the plethora of data poses a challenge in terms of feature selectio...
PROMS
2001
Springer
14 years 2 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...