BIRTHDAY
2005
Springer
14 years 2 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
14 years 2 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
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 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
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...