34 search results - page 1 / 7 » A: an assertion language for distributed systems |
ASPLOS
2006
ACM
13 years 10 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
IMC
2006
ACM
13 years 10 months ago
2006
ACM
In recent years, more than 200 viruses have been reported to use a peer-to-peer (P2P) file-sharing network as a propagation vector. Disguised as files that are frequently exchan...
ATAL
2003
Springer
13 years 10 months ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
ICFP
2004
ACM
14 years 4 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
VLDB
1987
ACM
13 years 8 months ago
1987
ACM
In thii paper,weconsiderMOBY. a distributedarchitectureto support the developmentof expert databasesystemsin a rule based language.It combinesstandardindexing andhorizontaldatapar...