6608 search results - page 1207 / 1322 » On the Completeness of Model Checking |
133
click to vote
JAPLL
2010
15 years 2 months ago
2010
The relational model has recently been extended to so-called K-relations in which tuples are assigned a unique value in a semiring K. A query language, denoted by RAC K , similar ...
146
click to vote
JCM
2010
15 years 2 months ago
2010
— This paper presents a resource-efficient protocol for opportunistic routing in delay-tolerant networks (DTN). First, our approach exploits the context of mobile nodes (speed, ...
103
click to vote
JOCN
2010
15 years 2 months ago
2010
■ An important aspect of cognitive control is the ability to respond with restraint. Here, we modeled this experimentally by measuring the degree of response slowing that occurs...
154
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
Accurate software cost and schedule estimations are essential especially for large software projects. However, once the required efforts have been estimated, little is done to rec...
138
click to vote
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...