2339 search results - page 323 / 468 » Models and Tools for Mulan Applications |
147
click to vote
AICOM
2002
15 years 6 months ago
2002
In the last years, dozens of environments for modeling, testing and finally implementing multi-agent systems have been developed. Unfortunately, no standard criteria for understand...
208
click to vote
HOTOS
2003
IEEE
15 years 11 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...
162
click to vote
WSC
1998
15 years 7 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
223
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
189
click to vote
CSFW
2006
IEEE
16 years 16 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...