1615 search results - page 132 / 323 » Distributed Forward Checking |
134
click to vote
COORDINATION
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
131
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
137
click to vote
CEC
2010
IEEE
15 years 3 months ago
2010
IEEE
Computational science is placing new demands on optimization algorithms as the size of data sets and the computational complexity of scientific models continue to increase. As thes...
115
Voted
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
111
click to vote
EWSA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...