8469 search results - page 133 / 1694 » An Agent-Environment Interaction Model |
144
click to vote
NHM
2010
15 years 1 months ago
2010
We present in this paper several results concerning a simple model of interaction between an inviscid fluid, modeled by the Burgers equation, and a particle, assumed to be point-wi...
167
click to vote
AAMAS
2006
Springer
15 years 6 months ago
2006
Springer
File Integrity Analyzers serve as a component of an Intrusion Detection environment by performing filesystem inspections to verify the content of security-critical files in order ...
151
click to vote
ENTCS
2008
15 years 6 months ago
2008
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
193
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
153
click to vote
EICS
2009
ACM
16 years 29 days ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...