6608 search results - page 52 / 1322 » On the Completeness of Model Checking |
136
click to vote
EUROCAST
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
103
click to vote
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
116
Voted
CALCO
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
85
Voted
CP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The Quasigroup Completion Problem (QCP) is a very challenging benchmark among combinatorial problems, and the focus of much recent interest in the area of constraint prog...
126
click to vote
SIAMAM
2008
15 years 21 days ago
2008
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...