3729 search results - page 127 / 746 » On Formal Modeling of Agent Computations |
168
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes the human immune system and its functionalities from a computational viewpoint. The objective of this paper is to provide the biological basis for an artificia...
152
click to vote
SOSE
2008
IEEE
16 years 23 days ago
2008
IEEE
Service-oriented computing is becoming a direction of computing technology. For realising the mission of serviceoriented computing, service-oriented architecture has been proposed...
190
click to vote
TCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
169
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...
192
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....