1511 search results - page 161 / 303 » A Methodology for Developing Agent Based Systems |
113
click to vote
NCA
2007
IEEE
15 years 5 months ago
2007
IEEE
We present FRAC, a Framework for Role-based Access Control in network file systems. FRAC is a reference monitor that controls the message flow between file system clients and s...
127
click to vote
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
Trust plays important roles in diverse decentralized environments, including our society at large. Computational trust models help to, for instance, guide users’ judgements in o...
109
click to vote
JOT
2008
14 years 11 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
84
Voted
ACOM
2004
Springer
15 years 4 months ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...