488 search results - page 24 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
99
Voted
ECAI
2008
Springer
15 years 25 days ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
88
Voted
FUIN
2006
14 years 11 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
187
click to vote
AR
2011
14 years 6 months ago
2011
This paper presents a novel method for learning object manipulation such as rotating an object or placing one object on another. In this method, motions are learned using referenc...
103
click to vote
KBSE
1999
IEEE
15 years 3 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
93
Voted
CSFW
2004
IEEE
15 years 2 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...