4737 search results - page 156 / 948 » The LOGIC negotiation model |
101
Voted
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
99
Voted
PADL
2007
Springer
15 years 9 months ago
2007
Springer
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
113
click to vote
LICS
2006
IEEE
15 years 9 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...
111
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE