1567 search results - page 195 / 314 » On Cooperation in a Multi-Entity Model |
WIOPT
2010
IEEE
13 years 8 months ago
2010
IEEE
—In distributed network settings, where nodes are not under the control of a single administrative entity, the fulfillment of fundamental network operations is heavily dependent...
ECAI
1998
Springer
14 years 1 months ago
1998
Springer
Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distribut...
EUROCAST
2007
Springer
14 years 1 months ago
2007
Springer
This paper explores and discusses the application of Software Agent in pattern layout design. First we introduce Pattern Decomposition Representation Model (PDM). By combining Agen...
ZUM
2000
Springer
14 years 1 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
ACMSE
2008
ACM
13 years 11 months ago
2008
ACM
In this paper we present a framework for rapid prototyping of airplane designs as an example of the benefits of integrating simulation, gaming, and design interfaces into a cohesi...