5252 search results - page 656 / 1051 » Logic in Access Control |
187
click to vote
DNA
2004
Springer
16 years 7 days ago
2004
Springer
Practically all of life’s molecular processes, from chemical synthesis to replication, involve enzymes that carry out their functions through the catalysis of metastable fuels in...
178
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
167
click to vote
ICDCIT
2004
Springer
16 years 6 days ago
2004
Springer
We focus on the problem of distributing key updates in secure dynamic groups. Due to changes in group membership, the group controller needs to change and distribute the keys used...
176
click to vote
ISCIS
2004
Springer
16 years 6 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
273
click to vote
GLOBAL
2003
Springer
16 years 1 days ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...