10159 search results - page 579 / 2032 » System Design Validation Using Formal Models |
181
click to vote
ACTA
2007
15 years 6 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
186
Voted
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
175
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
239
click to vote
CAV
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
159
Voted
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...