448 search results - page 32 / 90 » Pipelining Argumentation Technologies |
135
click to vote
ATAL
2009
Springer
16 years 18 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...
158
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...
135
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
16 years 7 hour 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 10 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...