732 search results - page 136 / 147 » A Formal Model of Provenance in Distributed Systems |
151
click to vote
CSFW
2007
IEEE
16 years 4 days ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
131
click to vote
ICDCSW
2005
IEEE
15 years 11 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
144
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
146
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
159
click to vote
ARGMAS
2006
Springer
15 years 9 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...