Sciweavers

Share
BIRTHDAY
2005
Springer
9 years 3 months ago
Compositional Reasoning for Probabilistic Finite-State Behaviors
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
Yuxin Deng, Catuscia Palamidessi, Jun Pang
BIRTHDAY
2005
Springer
9 years 3 months ago
Splitting Logics
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
Walter Alexandre Carnielli, Marcelo E. Coniglio
BIRTHDAY
2005
Springer
9 years 3 months ago
Fibring Logics: Past, Present and Future
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
Carlos Caleiro, Amílcar Sernadas, Cristina ...
BIRTHDAY
2005
Springer
9 years 3 months ago
Toward Automated Large-Scale Information Integration and Discovery
The high cost of data consolidation is the key market inhibitor to the adoption of traditional information integration and data warehousing solutions. In this paper, we outline a n...
Paul Brown, Peter J. Haas, Jussi Myllymaki, Hamid ...
BIRTHDAY
2005
Springer
9 years 3 months ago
Compiled Labelled Deductive Systems for Access Control
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
Krysia Broda, Alessandra Russo
BIRTHDAY
2005
Springer
9 years 3 months ago
Nonmonotonic Reasoning
Alexander Bochman
BIRTHDAY
2005
Springer
9 years 3 months ago
Sharing in the Weak Lambda-Calculus
Tomasz Blanc, Jean-Jacques Lévy, Luc Marang...
BIRTHDAY
2005
Springer
9 years 3 months ago
Visualization in Digital Libraries
Enrico Bertini, Tiziana Catarci, Lucia Di Bello, S...
BIRTHDAY
2005
Springer
9 years 3 months ago
Model Theory for Process Algebra
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
Jan A. Bergstra, C. A. Middelburg
BIRTHDAY
2005
Springer
9 years 3 months ago
Open Problems in Logic and Games
Johan van Benthem
books