5015 search results - page 211 / 1003 » Model Checking a Path |
181
click to vote
COMBINATORICS
2002
15 years 6 months ago
2002
In a previous work [26], by considering paths that are partially weighted, the generating function of Dyck paths was shown to possess a type of symmetry, called an exchange relati...
163
click to vote
SIROCCO
2004
15 years 7 months ago
2004
Path Layout is a fundamental graph problem in label switching protocols. This problem is raised in various protocols such as the traditional ATM protocol and MPLS which is a new l...
162
click to vote
FDL
2003
IEEE
15 years 11 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
158
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
190
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...