Sciweavers

2825 search results - page 159 / 565
» Globalization of Belief Distributions
Sort
View
ICLP
2005
Springer
15 years 11 months ago
A Distributed and Probabilistic Concurrent Constraint Programming Language
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
Luca Bortolussi, Herbert Wiklicky
HOTOS
2003
IEEE
15 years 11 months ago
Development Tools for Distributed Applications
The emergence of the global Internet has dramatically broadened and changed the computing landscape. In particular, much of the value in contemporary computing systems derives fro...
Mukesh Agrawal, Srinivasan Seshan
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 10 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
AGTIVE
1999
Springer
15 years 10 months ago
DiTo - A Distribution Tool Based on Graph Rewriting
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
Ansgar Radermacher
SEKE
1994
Springer
15 years 10 months ago
The object-oriented development of a distributed multimedia environmental information system
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. G...