165 search results - page 32 / 33 » Agent Exchange - Virtual Trading Environment |
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
EUROPAR
2003
Springer
13 years 10 months ago
2003
Springer
Efficient discovery and resource allocation is one of the challenges of current Peer-to-Peer systems. In centralized approaches, the user requests can be matched to the fastest, ch...
FM
2003
Springer
13 years 10 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
Selecting the right parties to interact with is a fundamental problem in open and dynamic environments. The problem is exemplified when the number of interacting parties is high a...
CCIA
2009
Springer
13 years 6 months ago
2009
Springer
The management of natural resources is an intricate and consequential task. In particular, water management is at the forefront of public policy priorities in many countries becaus...