1614 search results - page 230 / 323 » Planning as Temporal Reasoning |
131
click to vote
SPIN
2007
Springer
15 years 10 months 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...
134
click to vote
LCN
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper investigates the problem of how to improve TCP performance in multi-rate Ad-hoc networks with congested links. To improve network performance, different rate adaptation...
130
click to vote
AIME
2005
Springer
15 years 9 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
161
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
135
click to vote
COMPSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...