Sciweavers

10707 search results - page 359 / 2142
» Designing executable abstractions
Sort
View
ENTCS
2006
148views more  ENTCS 2006»
15 years 4 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
MST
2008
118views more  MST 2008»
15 years 4 months ago
Risk Assessment for One-Counter Threads
Abstract Threads as contained in a thread algebra are used for the modeling of sequential program behavior. A thread that may use a counter to control its execution is called a `on...
Alban Ponse, Mark van der Zwaag
ARVLSI
1999
IEEE
112views VLSI» more  ARVLSI 1999»
15 years 9 months ago
Architectural Considerations for Application-Specific Counterflow Pipelines
Application-specific processor design is a promising approach for meeting the performance and cost goals of a system. Application-specific processors are especially promising for ...
Bruce R. Childers, Jack W. Davidson
BVAI
2005
Springer
15 years 10 months ago
Three Dilemmas of Signal- and Symbol-Based Representations in Computer Vision
Abstract. We discuss problems of signal– and symbol based representations in terms of three dilemmas which are faced in the design of each vision system. Signal- and symbol-based...
Norbert Krüger
ISSE
2006
15 years 4 months ago
Pattern Componentization: The Factory Example
Can Design Patterns be turned into reusable components? To help answer this question, we have performed a systematic study of the standard design patterns. One of the most ing is ...
Karine Arnout, Bertrand Meyer