2293 search results - page 56 / 459 » Temporal Logic in Information Systems |
103
click to vote
MSCS
2006
14 years 9 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
105
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
SGAI
2007
Springer
15 years 3 months ago
2007
Springer
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we examine the dissemination of reports about resources in mobile peer-to-peer networks, where moving objects communicate with each other via short-range wireless tr...