Sciweavers

5777 search results - page 372 / 1156
» The palladio component model
Sort
View
INFSOF
2002
147views more  INFSOF 2002»
15 years 7 months ago
On the efficiency of domain-based COTS product selection method
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
Karl R. P. H. Leung, Hareton K. N. Leung
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 3 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
CCE
2007
15 years 7 months ago
An agent-based approach for supply chain retrofitting under uncertainty
In this work, decisions that have a long lasting effect on the SC such as the design and retrofit of a production/distribution network are considered. The retrofitting tasks are a...
Fernando D. Mele, Gonzalo Guillén, Antonio ...
ET
2000
145views more  ET 2000»
15 years 7 months ago
Fast Test Pattern Generation for Sequential Circuits Using Decision Diagram Representations
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
Jaan Raik, Raimund Ubar
EWC
2000
105views more  EWC 2000»
15 years 7 months ago
Design Families and Design Individuals
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
Xiao-Guang Shi, John S. Gero