732 search results - page 62 / 147 » A Formal Model of Provenance in Distributed Systems |
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
DALT
2005
Springer
15 years 3 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
ISORC
1998
IEEE
15 years 2 months ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
101
click to vote
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
131
click to vote
BIRTHDAY
2010
Springer
14 years 6 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...