3676 search results - page 36 / 736 » Scalable component abstractions |
84
Voted
PARA
2004
Springer
15 years 3 months ago
2004
Springer
The AgentScape middleware is designed to support deployment of agent-based applications on Internet-scale distributed systems. With the design of AgentScape, three dimensions of sc...
74
Voted
WWW
2002
ACM
15 years 10 months ago
2002
ACM
ing Application-Level Web Security David Scott Laboratory For Communications Engineering Engineering Department Trumpington Street Cambridge CB2 1PZ djs55@eng.cam.ac.uk Richard Sha...
75
Voted
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
MSS
2003
IEEE
15 years 2 months ago
2003
IEEE
zFS is a research project aimed at building a decentralized file system that distributes all aspects of file and storage management over a set of cooperating machines interconne...