2024 search results - page 45 / 405 » A Formal Model of Multi-agent Computations |
101
click to vote
DAC
1997
ACM
15 years 2 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
76
Voted
BIRTHDAY
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
ICFCA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
117
click to vote
ACL
1990
15 years 7 days ago
1990
We analyse the computational complexity of phonological models as they have developed over the past twenty years. The major results ate that generation and recognition are undecid...
ASIAN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...