12981 search results - page 134 / 2597 » Model Checking and Abstraction |
133
click to vote
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
144
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
160
click to vote
DBPL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
127
click to vote
HAIS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Cooperative Coevolution is a technique in the area of Evolutionary Computation. It has been applied to many combinatorial problems with great success. This contribution p...
122
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...