Sciweavers

3381 search results - page 122 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
MMB
1999
Springer
127views Communications» more  MMB 1999»
15 years 10 months ago
Auction Models for Multi-Provider Internet Connections
Auctions are a widely used approach for determining the current market price for congested resources. However, using them for real systems, such as the Internet, the auction algor...
Peter Reichl, George Fankhauser, Burkhard Stiller
HASE
1999
IEEE
15 years 10 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
MICCAI
2006
Springer
16 years 7 months ago
Improving Segmentation of the Left Ventricle Using a Two-Component Statistical Model
Abstract. Quality of segmentations obtained by 3D Active Appearance Models (AAMs) crucially depends on underlying training data. MRI heart data, however, often come noisy, incomple...
Jirí Hladuvka, Katja Bühler, Sebastian...
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
16 years 14 days ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ICSE
2008
IEEE-ACM
16 years 6 months ago
Constructing difference tools for models using the SiDiff framework
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...
Maik Schmidt, Tilman Gloetzner