5015 search results - page 578 / 1003 » Model Checking a Path |
171
click to vote
JSAC
2006
15 years 6 months ago
2006
Within the realm of network security, we interpret the concept of trust as a relation among entities that participate in various protocols. Trust relations are based on evidence cr...
184
Voted
IJON
2007
15 years 6 months ago
2007
Hierarchical models of motor function are described in which the motor system encodes a hierarchy of dynamical motor primitives. The models are based on continuous attractor neura...
181
click to vote
FUIN
2000
15 years 6 months ago
2000
We consider the problem of dependable computation with multiple inputs. The goal is to study when redundancy can help to achieve survivability and when it cannot. We use AND/OR gra...
148
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
197
click to vote
CONEXT
2010
ACM
15 years 4 months ago
2010
ACM
Recent measurements and anecdotal evidence indicate that the Internet ecosystem is rapidly evolving from a multi-tier hierarchy built mostly with transit (customer-provider) links...