270 search results - page 16 / 54 » Regulation problems in explorer agents |
151
click to vote
ESAW
2000
Springer
15 years 8 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...
115
click to vote
MABS
2005
Springer
15 years 10 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...
126
click to vote
SP
1997
IEEE
15 years 9 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...
129
click to vote
CAISE
2006
Springer
15 years 8 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...
146
click to vote
AAAI
1994
15 years 6 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...