Sciweavers

515 search results - page 83 / 103
» Component Coordination in GLoo
Sort
View
SAC
2005
ACM
14 years 3 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
GECCO
2005
Springer
220views Optimization» more  GECCO 2005»
14 years 3 months ago
Scale invariant pareto optimality: a meta--formalism for characterizing and modeling cooperativity in evolutionary systems
This article describes a mathematical framework for characterizing cooperativity in complex systems subject to evolutionary pressures. This framework uses three foundational compo...
Mark Fleischer
ICWL
2005
Springer
14 years 3 months ago
Grounding Collaborative Knowledge Building in Semantics-Based Critiquing
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
Anders I. Mørch, William K. Cheung, Kelvin ...
ECCV
2004
Springer
14 years 3 months ago
A 2D Fourier Approach to Deformable Model Segmentation of 3D Medical Images
Anatomical shapes present a unique problem in terms of accurate representation and medical image segmentation. Three-dimensional (3D) statistical shape models have been extensivel...
Eric Berg, Mohamed Mahfouz, Christian Debrunner, W...
ISADS
2003
IEEE
14 years 3 months ago
Structuring Integrated Web Applications for Fault Tolerance
This paper shows how modern structuring techniques can be employed in integrating complex web applications such as Travel Agency systems. The main challenges the developers of suc...
Alexander B. Romanovsky, Panos Periorellis, Avelin...