3028 search results - page 73 / 606 » Integrating Temporal Logics |
105
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
WIA
2005
Springer
15 years 9 months ago
2005
Springer
134
click to vote
ATAL
2003
Springer
15 years 9 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...
CAV
2003
Springer
15 years 9 months ago
2003
Springer
CAV
2003
Springer
15 years 9 months ago
2003
Springer
