2979 search results - page 208 / 596 » Modelling secure multiagent systems |
154
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
245
click to vote
ISSE
2010
15 years 4 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
181
click to vote
USS
2008
15 years 8 months ago
2008
Provenance describes how an object came to be in its present state. Intelligence dossiers, medical records and corporate financial reports capture provenance information. Many of ...
146
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
This article presents the results of experiments performed with agents based on an operalization of an information-theoretic model for trust. Experiments have been performed with t...
131
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...