4737 search results - page 156 / 948 » The LOGIC negotiation model |
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
PADL
2007
Springer
14 years 3 months ago
2007
Springer
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE