3199 search results - page 53 / 640 » Variability in Automation System Models |
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
Service-Oriented Architecture (SOA) can provide a paradigm
for constructing context-aware collaboration systems. Particularly, the
promise of inexpensive context-aware collaborat...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
WSC
2008
13 years 11 months ago
2008
A typical wafer fab requires numerous decisions for daily operations. Even small decisions on system configurations may have significant impact on the overall fab performance. One...