1423 search results - page 159 / 285 » Quantum logic as a dynamic logic |
182
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes GulfStream, a scalable distributed software system designed to address the problem of managing the network topology in a multi-domain server farm. In particul...
166
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
153
click to vote
EDCC
2008
Springer
15 years 8 months ago
2008
Springer
We present the design, correctness, and analysis of SONDe, a simple fully decentralized object deployment algorithm for highly requested systems. Given an object (service or data)...
215
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
174
click to vote
TPLP
2010
15 years 4 months ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...