2024 search results - page 82 / 405 » A Formal Model of Multi-agent Computations |
173
click to vote
STORYTELLING
2005
Springer
15 years 9 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
139
click to vote
SACMAT
2009
ACM
15 years 8 months ago
2009
ACM
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
181
click to vote
POST
2012
13 years 11 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
122
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
142
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...