4171 search results - page 781 / 835 » Dependable Data Management in Dynamic Distributed Systems |
158
Voted
INTERNET
2007
15 years 4 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
152
click to vote
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
140
click to vote
PERCOM
2009
ACM
15 years 11 months ago
2009
ACM
—As a result of the wide spread of new efficient mobile communication devices, users are more and more willing to find on these devices (PDAs, Smartphones, etc) applications si...
147
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
IP multicast is increasingly seen as efficient mode of live content distribution in the Internet to significantly large subscriber bases. Despite its numerous benefits over IP u...
173
click to vote
PPSN
1994
Springer
15 years 8 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...