Sciweavers

523 search results - page 76 / 105
» Goal-Oriented Requirements Engineering: A Case Study in E-go...
Sort
View
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 5 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
WSC
2007
15 years 3 months ago
Simulation framework for complex manufacturing systems with automated material handling
In this paper, we suggest a framework that allows for the simulation-based performance assessment of complex manufacturing systems with Automated Material Handling Systems (AMHS)....
Rene Driessel, Lars Mönch
ENGL
2007
94views more  ENGL 2007»
15 years 1 months ago
Using Quality Function Deployment in Singulation Process Analysis
—This paper presents the application of quality function deployment (QFD) to process analysis. QFD has been applied in various industries since the 1960s, but traditional QFD met...
Hang-wai Law, Meng Hua
CASCON
2010
166views Education» more  CASCON 2010»
14 years 11 months ago
Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
Chunyang Ye, Hans-Arno Jacobsen
JCIT
2010
146views more  JCIT 2010»
14 years 8 months ago
Determing Performance of Choreography-based Composite Services
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...
Yunni Xia, Zhe Ouyang, Yanxin Wu, Ruilong Yang