Sciweavers

980 search results - page 89 / 196
» Modeling Domain Variability in Requirements Engineering with...
Sort
View
CVPR
2003
IEEE
15 years 11 months ago
Practical Non-parametric Density Estimation on a Transformation Group for Vision
It is now common practice in machine vision to define the variability in an object's appearance in a factored manner, as a combination of shape and texture transformations. I...
Erik G. Miller, Christophe Chefd'Hotel
GI
2008
Springer
14 years 11 months ago
A Model-Based Development Method for Device Drivers
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
Ulrich Margull, Michael Kersten, Nikolaus Regnat
CORR
2010
Springer
144views Education» more  CORR 2010»
14 years 10 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
GI
2005
Springer
15 years 3 months ago
A Normative Language Approach to the Application of Petri Nets for Clinical Workflows
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
Kamyar Sarshar, Peter Loos
COMPLIFE
2006
Springer
15 years 1 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga