3729 search results - page 31 / 746 » On Formal Modeling of Agent Computations |
79
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
ICSE
2008
IEEE-ACM
16 years 17 days ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
ISPDC
2006
IEEE
15 years 5 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
FMCO
2006
Springer
15 years 3 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
DALT
2003
Springer
15 years 5 months ago
2003
Springer
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...