2114 search results - page 226 / 423 » A model of cooperative threads |
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 26 days 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...
AMC
2006
13 years 9 months ago
2006
The classical simulation of physical processes using standard models of computation is fraught with problems. On the other hand, attempts at modelling real-world computation with ...