575 search results - page 49 / 115 » Model Checking Restricted Sets of Timed Paths |
104
click to vote
SIROCCO
2000
15 years 1 months ago
2000
: We consider a well known distributed coloring game played on a simple connected graph: initially, each vertex is colored black or white; at each round, each vertex simultaneously...
111
click to vote
TON
2010
14 years 6 months ago
2010
TCP has traditionally been considered inappropriate for real-time applications. Nonetheless, popular applications such as Skype use TCP since UDP packets cannot pass through restri...
115
click to vote
ERSHOV
2009
Springer
14 years 9 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
111
click to vote
ICTAI
2000
IEEE
15 years 3 months ago
2000
IEEE
Markov Decision Processes (MDP) have been widely used as a framework for planning under uncertainty. They allow to compute optimal sequences of actions in order to achieve a given...
127
click to vote
COMPGEOM
2004
ACM
15 years 3 months ago
2004
ACM
We introduce a new approach to the problem of collision detection between a rotating milling-cutter of an NC-machine and a model of a solid workpiece, as the rotating cutter conti...