Sciweavers

1713 search results - page 168 / 343
» Modeling and Engineering Adaptive Complex Systems
Sort
View
85
Voted
PEPM
2009
ACM
15 years 9 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
ISSRE
2003
IEEE
15 years 5 months ago
Assessing Uncertainty in Reliability of Component-Based Software Systems
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
Katerina Goseva-Popstojanova, Sunil Kamavaram
99
Voted
CSMR
2007
IEEE
15 years 6 months ago
Example-Driven Reconstruction of Software Models
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
Oscar Nierstrasz, Markus Kobel, Tudor Gîrba,...
BPM
2006
Springer
158views Business» more  BPM 2006»
15 years 4 months ago
Flexibility of Data-Driven Process Structures
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
Dominic Müller, Manfred Reichert, Joachim Her...
ICSOC
2007
Springer
15 years 6 months ago
BPEL4Job: A Fault-Handling Design for Job Flow Management
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
Wei Tan, Liana Fong, Norman Bobroff