1042 search results - page 164 / 209 » Failing First: An Update |
PPOPP
2010
ACM
14 years 7 months ago
2010
ACM
Transactional Memory (TM) is considered as one of the most promising paradigms for developing concurrent applications. TM has been shown to scale well on multiple cores when the d...
EUROSYS
2006
ACM
14 years 7 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
ICTAI
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
As agents begin to perform complex tasks alongside humans as collaborative teammates, it becomes crucial that the resulting humanmultiagent teams adapt to time-critical domains. I...