473 search results - page 84 / 95 » Aspect Validation Using Model Checking |
DAGSTUHL
2004
14 years 8 days ago
2004
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
MICCAI
2003
Springer
14 years 11 months ago
2003
Springer
We present a new brain segmentation framework which we apply to T1-weighted magnetic resonance image segmentation. The innovation of the algorithm in comparison to the state-of-the...
TASE
2007
IEEE
14 years 5 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
ISCA
2003
IEEE
14 years 4 months ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
CEEMAS
2005
Springer
14 years 4 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...