5683 search results - page 752 / 1137 » Interactive Schedulability Analysis |
168
click to vote
ICSOC
2005
Springer
16 years 10 days ago
2005
Springer
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE1 ) syste...
152
click to vote
JSAI
2005
Springer
16 years 9 days ago
2005
Springer
Recent development of capture and archival technology for experiences can serve to extend our memory and knowledge and enrich our collaboration with others. Conversation is an impo...
204
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
A machine learning technique for handling scenarios of interaction between conflicting agents is suggested. Scenarios are represented by directed graphs with labeled vertices (for ...
148
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We describe, analyze and submit results of a real-time total order multicast protocol developed on a distributed real-time system architecture that consists of hierarchic...
176
click to vote
SBIA
2004
Springer
16 years 5 days ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...