131
click to vote
CONCUR
1995
Springer
15 years 7 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
131
click to vote
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
Although eXtreme Programming has been explained by Kent Beck[1], there are many benefits to adopting eXtreme Programming (XP) practices in other development processes. The benefit...
155
click to vote
COMPSAC
1995
IEEE
15 years 7 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
128
click to vote
HICSS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents scalable algorithms for recovery and page coherency in multicomputer object stores. Recovery and coherency are central to object store engineering and distribu...