3645 search results - page 545 / 729 » Implementing mapping composition |
209
Voted
BIRTHDAY
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
209
click to vote
CBSE
2004
Springer
16 years 11 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
191
click to vote
FMCAD
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
219
click to vote
HPDC
2003
IEEE
16 years 7 days ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
245
click to vote
IPPS
2003
IEEE
16 years 7 days ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...