Sciweavers

4616 search results - page 126 / 924
» Extreme Components Analysis
Sort
View
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 7 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...
QOSA
2010
Springer
15 years 6 months ago
Parameterized Reliability Prediction for Component-Based Software Architectures
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ral...
WSC
2007
15 years 5 months ago
Process flowcharting and simulation of house structure components production process
Stimulated by the success of management innovation in the manufacturing industry – culminating in lean production, many homebuilders attempt to model the construction process on...
Haitao Yu, Mohamed Al-Hussein, Reza Nasseri
CBSE
2006
Springer
15 years 5 months ago
A QoS Driven Development Process Model for Component-Based Software Systems
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
Heiko Koziolek, Jens Happe
ICIP
2009
IEEE
15 years 27 days ago
An attention model for extracting components that merit identification
Cognitive systems are trained to recognise perceptually meaningful parts of an image. These regions contain some variation, i.e. local texture, and are roughly convex. We call suc...
Mohammad Jahangiri, Maria Petrou