8555 search results - page 11 / 1711 » Property Based Coordination |
ER
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
FDL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
NN
1998
Springer
13 years 8 months ago
1998
Springer
In this paper we present an approach to robot arm control based on exploiting the dynamical properties of a simple neural network oscillator circuit coupled to the joints of an ar...
ATAL
2006
Springer
14 years 11 days ago
2006
Springer
Many coordination algorithms claim to be general, implying that they can be used to coordinate agents in a variety of domains. However, little work has been done to quantitatively...
COMPSAC
1998
IEEE
14 years 20 days ago
1998
IEEE
The paper introduces a taxonomy of the possible coordination models for mobile agent applications and evaluates their impact in the design of a widely distributed application in t...