Sciweavers

2139 search results - page 196 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
16 years 16 days ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai
DSN
2004
IEEE
15 years 10 months ago
A Framework for Evaluating Storage System Dependability
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
Kimberly Keeton, Arif Merchant
CBSE
2008
Springer
15 years 8 months ago
Automating Performance Analysis from Taverna Workflows
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
Rafael Tolosana-Calasanz, Omer F. Rana, José...
NIPS
2000
15 years 7 months ago
A Productive, Systematic Framework for the Representation of Visual Structure
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
Shimon Edelman, Nathan Intrator
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
15 years 7 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...