Sciweavers

1540 search results - page 270 / 308
» Deceptive agents and language
Sort
View
HICSS
1998
IEEE
128views Biometrics» more  HICSS 1998»
14 years 6 days ago
A Situation Calculus Model of Hypertext
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
Richard B. Scherl, Michael Bieber, Fabio Vitali
PACT
1997
Springer
14 years 2 days ago
Parallel and Distributed Evolutionary Computation with MANIFOLD
Abstract. In this paper, we apply a competitive coevolutionary approach using loosely coupled genetic algorithms to a distributed optimization of the Rosenbrock's function. Th...
Franciszek Seredynski, Pascal Bouvry, Farhad Arbab
AOSD
2007
ACM
13 years 12 months ago
A distributed dynamic aspect machine for scientific software development
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...
Chanwit Kaewkasi, John R. Gurd
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
13 years 11 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
ECAI
2006
Springer
13 years 11 months ago
Towards ACL Semantics Based on Commitments and Penalties
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
Leila Amgoud, Florence Dupin de Saint-Cyr