714 search results - page 104 / 143 » Formal Verification of Cognitive Models |
144
click to vote
IPL
2008
15 years 1 months ago
2008
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...
109
click to vote
IPL
2006
15 years 1 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
110
Voted
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
116
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
118
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...