3729 search results - page 528 / 746 » On Formal Modeling of Agent Computations |
153
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
162
click to vote
LOPSTR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
176
click to vote
CONTEXT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
168
click to vote
ISI
2007
Springer
16 years 21 days ago
2007
Springer
– The difficulty in managing security threats and vulnerabilities for small and medium-sized enterprises (SME) is investigated. A detailed conceptual framework for asset and thre...
165
click to vote
SG
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...