20441 search results - page 3921 / 4089 » Locally Computable Structures |
129
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
121
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
136
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Wireless sensor nodes generally face serious limitations in terms of computational power, energy supply, and network bandwidth. Therefore, the implementation of effective and sec...
127
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
121
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...