2661 search results - page 121 / 533 » Model Checking Performability Properties |
116
Voted
EWSA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
113
click to vote
ECCV
2008
Springer
16 years 4 months ago
2008
Springer
What does a blind entity need in order to determine the geometry of the set of photocells that it carries through a changing lightfield? In this paper, we show that very crude know...
121
Voted
COMCOM
2006
15 years 2 months ago
2006
The Host Identity Indirection Infrastructure (Hi3) is a general-purpose networking architecture, derived from the Internet Indirection Infrastructure (i3) and the Host Identity Pr...
140
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
101
click to vote
DAC
2009
ACM
15 years 7 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...