955 search results - page 145 / 191 » Tractable Temporal Reasoning |
147
click to vote
TARK
2007
Springer
16 years 3 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
162
click to vote
LCN
2006
IEEE
16 years 18 hour 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...
153
click to vote
AIME
2005
Springer
15 years 11 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...
182
click to vote
UML
2004
Springer
15 years 11 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...
154
click to vote
COMPSAC
2007
IEEE
15 years 10 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...