1168 search results - page 175 / 234 » Management in Distributed Systems: A Semi-formal Approach |
116
click to vote
WOSS
2004
ACM
15 years 7 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...
124
click to vote
APN
2008
Springer
15 years 3 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
132
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
101
click to vote
SIGOPSE
1998
ACM
15 years 5 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
117
click to vote
SOSE
2006
IEEE
15 years 7 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...