3908 search results - page 184 / 782 » A model for service-oriented communication systems |
179
click to vote
CCGRID
2007
IEEE
16 years 29 days ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...
169
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
181
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
220
click to vote
WAN
1998
Springer
15 years 10 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
203
click to vote
MC
2001
15 years 8 months ago
2001
The paper describes the idea of bringing awareness to nomadic users. Based on a discussion of different context models and approaches to model context, several scenarios for aware...