1283 search results - page 174 / 257 » A Survey on Temporal Logics |
142
click to vote
FOSSACS
2007
Springer
16 years 14 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
148
click to vote
IAT
2006
IEEE
16 years 10 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
190
click to vote
TIME
2006
IEEE
16 years 9 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
176
click to vote
TIME
2005
IEEE
15 years 12 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
189
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...