Sciweavers

4919 search results - page 401 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
ENTCS
2010
118views more  ENTCS 2010»
15 years 4 months ago
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
Lucia Kapová, Steffen Becker
CISIS
2008
IEEE
16 years 1 months ago
Segmentation of the Liver from Abdominal CT Using Markov Random Field Model and GVF Snakes
Liver segmentation from scans of the abdominal area is an important step in several diagnostic processes. CT scans of the abdominal area contain several organs in close proximity ...
Raja' S. Alomari, Suryaprakash Kompalli, Vipin Cha...
ICST
2008
IEEE
16 years 1 months ago
Model-Based Quality Assurance of Windows Protocol Documentation
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
SCAM
2006
IEEE
16 years 25 days ago
Data Representation Alternatives in Semantically Augmented Numerical Models
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
Michael W. Fagan, Laurent Hascoët, Jean Utke
FASE
2004
Springer
16 years 6 days ago
Actor-Centric Modeling of User Rights
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
Ruth Breu, Gerhard Popp