Sciweavers

2796 search results - page 235 / 560
» A time structure based software reliability model
Sort
View
WWW
2008
ACM
16 years 5 months ago
Composite process oriented service discovery in preserving business and timed relation
This paper proposes an approach for solving the problem of composite process oriented service discovery with preserving business and timed relation. Key to our approach is the def...
Yu Dai, Lei Yang, Bin Zhang, Kening Gao
FOSSACS
2009
Springer
15 years 11 months ago
Interrupt Timed Automata
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
Béatrice Bérard, Serge Haddad
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
14 years 11 months ago
Integrated dynamic optimization and control in reservoir engineering using locally identified linear models
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
Gijs van Essen, Amin Rezapour, Paul M. J. Van den ...
MSR
2005
ACM
15 years 10 months ago
Repository mining and Six Sigma for process improvement
In this paper, we propose to apply artifact mining in a global development environment to support measurement based process management and improvement, such as SEI/CMMI’s GQ(I)M...
Michael VanHilst, Pankaj K. Garg, Christopher Lo
UML
2000
Springer
15 years 8 months ago
Using UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
Aynur Abdurazik, A. Jefferson Offutt