Sciweavers

5198 search results - page 915 / 1040
» A Logic of Agent Programs
Sort
View
ITS
1992
Springer
120views Multimedia» more  ITS 1992»
15 years 10 months ago
Distributed Learning Companion System: WEST Revisited
This paper describes a distributed learning system which consists of two connected computers so that students can learn in collaboration and/or competition at different locations. ...
Tak-Wai Chan, I-Ling Chung, Rong-Guey Ho, Wen-Juan...
AOSD
2007
ACM
15 years 10 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»
15 years 10 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
FOSSACS
2006
Springer
15 years 10 months ago
Smooth Orchestrators
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
Cosimo Laneve, Luca Padovani
AIIDE
2008
15 years 8 months ago
Effects of Communication on the Evolution of Squad Behaviours
As the non-playable characters (NPCs) of squad-based shooter computer games share a common goal, they should work together in teams and display cooperative behaviours that are tac...
Darren Doherty, Colm O'Riordan