Sciweavers

3801 search results - page 389 / 761
» An Approach to Modeling Software Safety
Sort
View
AAAI
2008
15 years 9 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
WICSA
2007
15 years 8 months ago
Tool Support for Architectural Decisions
In contrast to software architecture models, architectural decisions are often not explicitly documented, and therefore eventually lost. This contributes to major problems such as...
Anton Jansen, Jan Salvador van der Ven, Paris Avge...
SOCO
2009
Springer
16 years 1 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
172
Voted
MICCAI
1998
Springer
15 years 11 months ago
Vascular Shape Segmentation and Structure Extraction Using a Shape-Based Region-Growing Model
A new, practical, and efficient approach is proposed for 3D vascular segmentation and bifurcation structure extraction. The method uses a combination of mathematical morphology, re...
Yoshitaka Masutani, Thomas Schiemann, Karl Heinz H...
184
Voted
VL
2006
IEEE
170views Visual Languages» more  VL 2006»
16 years 23 days ago
A Lightweight Model for End Users' Domain-Specific Data
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
Christopher Scaffidi