2162 search results - page 203 / 433 » A Meta-Notation for Protocol Analysis |
205
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
183
Voted
ASPDAC
2001
ACM
15 years 9 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
163
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
152
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we a propose an extended methodology for laboratory based Information Retrieval evaluation under incomplete relevance assessments. This new protocol aims to identify ...
143
click to vote
ECRA
2006
15 years 6 months ago
2006
Prior studies have suggested that a good Website design which facilitates a user's Web browsing behaviour would generally lead to better user performance. In this research, w...