BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
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...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
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...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
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 ...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
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...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
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...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
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...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer