Sciweavers

579 search results - page 13 / 116
» On a Temporal Logic for Object-Based Systems
Sort
View
ATAL
2003
Springer
15 years 10 months ago
Engineering commitment-based multiagent systems: a temporal logic approach
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
Jie Xing, Munindar P. Singh
132
Voted
MMMACNS
2005
Springer
15 years 11 months ago
A Temporal Logic-Based Model for Forensic Investigation in Networked System Security
Slim Rekhis, Noureddine Boudriga
116
Voted
VSTTE
2005
Springer
15 years 10 months ago
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...