2088 search results - page 383 / 418 » The SPARK Agent Framework |
123
click to vote
JCS
2008
15 years 1 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
121
click to vote
SCFBM
2008
15 years 1 months ago
2008
Background: Computer simulations are of increasing importance in modeling biological phenomena. Their purpose is to predict behavior and guide future experiments. The aim of this ...
101
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. We present a framework for mod...
115
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
109
click to vote
DIM
2009
ACM
15 years 8 months ago
2009
ACM
This paper concerns the problem of identity management in modern Web-2.0-based mashup applications. Identity management supports convenient access to information when mashups are ...