841 search results - page 120 / 169 » A secure architectural description language for agent system... |
110
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
103
click to vote
ISW
2005
Springer
15 years 7 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Within the paper a description of communication model of plug-in based emuStudio emulation platform is given. The platform mentioned above allows the emulation of whole computer sy...
115
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
106
click to vote
MABS
2004
Springer
15 years 7 months ago
2004
Springer
For an integrated simulation such as the natural environment affected by human society, it is indispensable to provide an integrated simulator that incorporates multiple computatio...