579 search results - page 13 / 116 » On a Temporal Logic for Object-Based Systems |
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
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...
MMMACNS
2005
Springer
15 years 5 months ago
2005
Springer
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
LICS
1995
IEEE
15 years 3 months ago
1995
IEEE
