1283 search results - page 94 / 257 » A Survey on Temporal Logics |
146
click to vote
EMISA
2002
Springer
15 years 6 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
181
click to vote
ATAL
2006
Springer
15 years 10 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...
165
click to vote
FCSC
2008
15 years 6 months ago
2008
With the development of World Wide Web (WWW), storage and utilization of web data has become a big challenge for data management research community. Web data are essentially hetero...
160
click to vote
IJDAR
2006
15 years 6 months ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
171
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...