2917 search results - page 17 / 584 » Satisfying Interaction Constraints |
ESORICS
2007
Springer
14 years 18 days ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
ATAL
2006
Springer
14 years 13 days ago
2006
Springer
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...
GIS
2005
ACM
14 years 9 months ago
2005
ACM
The capabilities of current mobile computing devices such as PDAs and mobile phones are making it possible to design and develop mobile GIS applications that provide users with ge...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
We investigate a framework where agents search for satisfying products by using referrals from other agents. Our model of a mechanism for transmitting word-of-mouth and the result...
CAV
2007
Springer
14 years 21 days ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...