3 search results - page 1 / 1 » What Do Semantics Matter When the Meat Is Overcooked |
BIRTHDAY
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
TARK
2007
Springer
13 years 11 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
ICDCS
2006
IEEE
13 years 10 months ago
2006
IEEE
Byzantine quorum systems have been proposed that work properly even when up to f replicas fail arbitrarily. However, these systems are not so successful when confronted with Byzan...