73 search results - page 11 / 15 » CPAM, A Protocol for Software Composition |
EUROSYS
2010
ACM
15 years 6 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
94
Voted
IEEESCC
2005
IEEE
15 years 3 months ago
2005
IEEE
The Service Oriented Architecture (SOA) provides a methodology for designing software systems by integrating loosely coupled services. Compared to traditional distributed object-o...
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
Expresso is an experiment management system that is designed to assist biologists in planning, executing, and interpreting microarray experiments. It serves as a unifying framewor...
SEFM
2007
IEEE
15 years 3 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
EUROSYS
2007
ACM
15 years 1 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...