448 search results - page 32 / 90 » Pipelining Argumentation Technologies |
134
click to vote
ATAL
2009
Springer
16 years 14 days ago
2009
Springer
Service-oriented computing can benefit from multi-agent system technologies by adopting the coordination mechanisms, interaction protocols, and decision-making tools designed for...
157
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
134
click to vote
IICS
2001
Springer
15 years 10 months ago
2001
Springer
In our terminology, a “deliberation” is a distributed collaborative process, more or less spontaneous, structured, and complex. This process can include both individual and col...
154
click to vote
WSE
2006
IEEE
15 years 12 months ago
2006
IEEE
For web applications, determining how requests from a web page are routed through server components can be time-consuming and error-prone due to the complex set of rules and mecha...
210
click to vote
DILS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Data integration plays a major role in modern Life Sciences research primarily because required resources are geographically distributed across continents and experts dep...