Sciweavers

5457 search results - page 743 / 1092
» Software Component Independence
Sort
View
UIST
1997
ACM
15 years 11 months ago
Designing and Implementing Asynchronous Collaborative Applications with Bayou
Asynchronous collaboration is characterized by the degree of independence collaborators have from one another. In particular, collaborators working asynchronously typically have l...
W. Keith Edwards, Elizabeth D. Mynatt, Karin Peter...
EUROMICRO
1996
IEEE
15 years 11 months ago
Performance Analysis of Packet Switching Interconnection Networks with Finite Buffers
In thispaper,a mathematicalmethodfor analysis of synchronous packet-switching interconnection networks with jinite buffering capacity at the output of switching elements ispresent...
Aristotel Tentov, Aksenti L. Grnarov
ESEC
1997
Springer
15 years 11 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
SEKE
1994
Springer
15 years 11 months ago
Rule firing with metarules
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
François Pachet, Jean-François Perro...
TACS
1994
Springer
15 years 11 months ago
Full Abstraction for PCF
traction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Loyola University Chicago and Pasquale Malacaria4 Queen Mary and Westfield College An intensional m...
Samson Abramsky, Pasquale Malacaria, Radha Jagadee...