Sciweavers

258 search results - page 14 / 52
» WofBPEL: A Tool for Automated Analysis of BPEL Processes
Sort
View
JUCS
2008
130views more  JUCS 2008»
13 years 7 months ago
Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Mar...
DATE
2008
IEEE
112views Hardware» more  DATE 2008»
14 years 1 months ago
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
Jonas Elmqvist, Simin Nadjm-Tehrani
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 1 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
DIAL
2006
IEEE
155views Image Analysis» more  DIAL 2006»
14 years 1 months ago
Interactive Document Processing and Digital Libraries
We explore connections between digital libraries and interactive document image analysis. Digital libraries can provide useful data and metadata for research in automated document...
George Nagy, Daniel P. Lopresti
MM
2004
ACM
94views Multimedia» more  MM 2004»
14 years 28 days ago
Towards automated story analysis using participatory design
Involving a school teacher in the development of the intelligent writing tutor StoryStation allowed progress to be made on the problem of story classification, an aspect of story...
Harry Halpin, Johanna D. Moore, Judy Robertson