Sciweavers

3836 search results - page 481 / 768
» Dynamic Communicators in MPI
Sort
View
COORDINATION
2008
Springer
15 years 8 months ago
Multiparty Sessions in SOC
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
Roberto Bruni, Ivan Lanese, Hernán C. Melgr...
BIS
2008
176views Business» more  BIS 2008»
15 years 8 months ago
Community-Driven Ontology Evolution: Gene Ontology Case Study
Abstract. Communities on the Web capture, represent, and evolve their knowledge using ontologies, either explicitly or implicitly. The Gene Ontology project is a typical and advanc...
Anna V. Zhdanova
DMS
2008
114views Multimedia» more  DMS 2008»
15 years 8 months ago
Emergency Control in Shipyard Safety Systems
Large shipyards for gigantic cruise ships require a special attention to safety due to the huge number of workers involved and to the complex structure of spaces. A critical issue...
Augusto Celentano, Fabio Furlan, Stefano Burcovich
FORTE
2007
15 years 8 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
IJCAI
2007
15 years 8 months ago
A Framework for Decentralized Qualitative Model-Based Diagnosis
In this paper we propose a framework for decentralized model-based diagnosis of complex systems modeled with qualitative constraints and whose models are distributed among their s...
Luca Console, Claudia Picardi, Daniele Theseider D...