Sciweavers

753 search results - page 57 / 151
» Fragments-based Model Reduction: Some Case Studies
Sort
View
ATAL
2008
Springer
13 years 11 months ago
Reusing models in multi-agent simulation with software components
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
Paulo Salem da Silva, Ana Cristina Vieira de Melo
MICCAI
2002
Springer
14 years 9 months ago
Validation of Tissue Modelization and Classification Techniques in T1-Weighted MR Brain Images
Abstract. We propose a deep study on tissue modelization and classification Techniques on T1-weighted MR images. Three approaches have been taken into account to perform this valid...
Meritxell Bach Cuadra, Bram Platel, Eduardo Solana...
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
14 years 3 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
UML
2000
Springer
14 years 14 days ago
Supporting Several Levels of Restriction in the UML
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
Christian Heide Damm, Klaus Marius Hansen, Michael...
DSN
2011
IEEE
12 years 8 months ago
Resource and virtualization costs up in the cloud: Models and design choices
—Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of...
Daniel Gmach, Jerry Rolia, Ludmila Cherkasova