1256 search results - page 101 / 252 » A Model of Interaction in Concurrent and Distributed Systems |
161
click to vote
JVCA
2002
15 years 3 months ago
2002
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
105
Voted
SAINT
2003
IEEE
15 years 9 months ago
2003
IEEE
Large-scale distributed environments, such as the Internet, achieve advantages in exploiting software agents for applications, thanks to their autonomy in carrying out tasks. In s...
144
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
131
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
146
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...