1922 search results - page 268 / 385 » ie 2007 |
165
click to vote
SPIN
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
166
click to vote
SSD
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In the consumer market, there has been an increasing interest in portable navigation systems in the last few years. These systems usually work on digital map databases st...
187
click to vote
STACS
2007
Springer
16 years 11 days ago
2007
Springer
In this paper, it is shown that the Feedback Vertex Set problem on unweighted, undirected graphs has a kernel of cubic size. I.e., a polynomial time algorithm is described, that, w...
164
Voted
STACS
2007
Springer
16 years 11 days ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
154
click to vote
TACAS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...