2112 search results - page 351 / 423 » Communication networks in geographically distributed softwar... |
124
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. With the rise of Peer-to-Peer and Grid infrastructures, there is a renewed interest in messaging systems. Among the numerous messaging solutions for large loosely coupled...
127
click to vote
IJON
2006
15 years 4 months ago
2006
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modelled with a simple integrate-and-fire process, whil...
138
click to vote
AC
1999
Springer
15 years 8 months ago
1999
Springer
In a distributed system, replication of components, such as objects, is a well known way of achieving availability. For increased availability, crashed and disconnected components...
129
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
151
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
The World Wide Web has not only revolutionized the area of traditional hypermedia, it is also starting to influence adaptive hypermedia research. The main feature of the World Wid...