4350 search results - page 294 / 870 » Case studies for contract-based systems |
197
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
165
click to vote
ICECCS
2006
IEEE
16 years 22 days ago
2006
IEEE
We explore various deļ¬nitions and characteristics of emergence, how we might recognise and measure emergence, and how we might engineer emergent systems. We discuss the TUNA (ā...
156
click to vote
ITCC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents an aspect-oriented approach to access control in mobile agent systems, where a multipoint security check mechanism visualizes the services of a host as individ...
184
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a methodology for agent-oriented analysis and design. The methodology is general, in that it is applicable to a wide range of multi-agent systems, and comprehe...
178
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we suggest a framework that allows for the simulation-based performance assessment of algorithms for cooperative transportation planning. Therefore, we consider a c...