270 search results - page 16 / 54 » Regulation problems in explorer agents |
ESAW
2000
Springer
14 years 1 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
MABS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Dynamic and resource-constrained environments raise interesting issues for partnership formation and multi-agent systems. In a scenario in which agents interact with each...
SP
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
AAAI
1994
13 years 11 months ago
1994
This paper presents a precise market model for a well-defined class of distributed configuration design problems. Given a design problem, the model defines a computational economy...