245 search results - page 6 / 49 » Quasi-interpretations a way to control resources |
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
— Consider the situation in which a decision maker (Actor) has to decide which of several available resources to use in the presence of an adversary (called Controller) that can ...
EMSOFT
2003
Springer
14 years 3 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
BPM
2009
Springer
14 years 4 months ago
2009
Springer
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...
COORDINATION
2000
Springer
14 years 2 months ago
2000
Springer
Coordination and access control are related issues in open distributed agent systems, being both concerned with governing interaction between agents and resources. In particular, w...
SPC
2005
Springer
14 years 3 months ago
2005
Springer
Alice first meets Bob in an entertainment shop, then, they wish to share multimedia content, but Do they know what are trustworthy users? How do they share such information in a s...