1173 search results - page 51 / 235 » Weighted Distributed Systems and Their Logics |
LOGCOM
2010
13 years 8 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
EUROPAR
2000
Springer
14 years 1 months ago
2000
Springer
One of the advantages of logic programming is the fact that it offers many sources of implicit parallelism, such as and-parallelism and or-parallelism. Arguably, or-parallel system...
EUSFLAT
2009
13 years 7 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...
GCC
2007
Springer
14 years 1 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...