Sciweavers

193 search results - page 30 / 39
» Definition and analysis of composition structures for discre...
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 5 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
FOIS
2006
13 years 9 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
Antoine Zimmermann, Markus Krötzsch, Jé...
MICCAI
2002
Springer
14 years 8 months ago
From Colour to Tissue Histology: Physics Based Interpretation of Images of Pigmented Skin Lesions
Through an understanding of the image formation process, diagnostically important facts about the internal structure and composition of the skin lesions can be derived from their c...
Ela Claridge, Symon Cotton, Per Hall, Marc Moncrie...
SEFM
2007
IEEE
14 years 1 months ago
Disciplining Orchestration and Conversation in Service-Oriented Computing
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
Ivan Lanese, Francisco Martins, Vasco Thudichum Va...
JSS
2010
215views more  JSS 2010»
13 years 6 months ago
Analyzing architectural styles
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
Jung Soo Kim, David Garlan