437 search results - page 15 / 88 » A Complete Temporal and Spatial Logic for Distributed System... |
158
Voted
JOLLI
2008
15 years 3 months ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
142
click to vote
E4MAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In previous works we have presented a model to describe and simulate environment for situated multi-agent systems, that we called ELMS. Here, we present an extensions to ...
125
click to vote
GCC
2007
Springer
15 years 7 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
123
click to vote
SEKE
2001
Springer
15 years 8 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
145
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...