Sciweavers

4356 search results - page 86 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
EUROPAR
2009
Springer
15 years 2 months ago
A New Genetic Algorithm for Scheduling for Large Communication Delays
Abstract. In modern parallel and distributed systems, the time for exchanging data is usually larger than that for computing elementary operations. Consequently, these communicatio...
Johnatan E. Pecero, Denis Trystram, Albert Y. Zoma...
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
15 years 1 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
ICMAS
1998
14 years 11 months ago
Verifiable Semantics for Agent Communication Languages
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
Michael Wooldridge
JUCS
2007
174views more  JUCS 2007»
14 years 9 months ago
Real-time Human Proxy: An Avatar-based Communication System
Abstract: We propose a concept of real-time human proxy for avatar-based communication systems, which virtualizes a human in the real world in real-time and which lets the virtuali...
Daisaku Arita, Rin-ichiro Taniguchi
AGENTCL
2000
Springer
15 years 2 months ago
Operational Semantics for Agent Communication Languages
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...