1316 search results - page 85 / 264 » Open Issues in Industrial Use Case Modeling |
WICSA
2001
13 years 9 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
AUTOMATICA
2007
13 years 7 months ago
2007
Partial enumeration (PE) is presented as a method for treating large, linear model predictive control applications that are out of reach with available MPC methods. PE uses both a...
ENTCS
2010
13 years 5 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
We propose a new approach for the restoration of polarimetric Stokes images, capable of simultaneously segmenting and restoring the images. In order to easily handle the admissibi...
BMCBI
2011
12 years 11 months ago
2011
Background: Analysis of Cerebrospinal Fluid (CSF) samples holds great promise to diagnose neurological pathologies and gain insight into the molecular background of these patholog...