Sciweavers

773 search results - page 122 / 155
» Coordination in the ImpUNITY Framework
Sort
View
AUIC
2000
IEEE
15 years 4 months ago
Supporting Special-Purpose Health Care Models via Web Interfaces
The potential of the Web, via both the Internet and intranets, to facilitate development of clinical information systems has been evident for some time. Most Web-based clinical wo...
James R. Warren, Heath K. Frankel, Joseph T. Noone...
WETICE
1998
IEEE
15 years 4 months ago
Using Components for Modeling Intelligent and Collaborative Mobile Agents
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
Min-Jung Woo, Jean-Pierre Briot, Jacques Ferber
AUSAI
1997
Springer
15 years 4 months ago
Generating States of Joint Commitment between Autonomous Agents
Abstract. Autonomous agents decide for themselves, on the basis of their beliefs, goals, etc., how to act in an environment. However, it is often the case that an agent is motivate...
Timothy J. Norman, Nicholas R. Jennings
ICALP
1994
Springer
15 years 3 months ago
Liveness in Timed and Untimed Systems
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
Rainer Gawlick, Roberto Segala, Jørgen F. S...
ATAL
2007
Springer
15 years 3 months ago
Temporal linear logic as a basis for flexible agent interactions
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...
Duc Quang Pham, James Harland