Sciweavers

1143 search results - page 27 / 229
» Language Models Based on Semantic Composition
Sort
View
PPDP
2005
Springer
15 years 3 months ago
ReactiveML: a reactive extension to ML
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
Louis Mandel, Marc Pouzet
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
15 years 4 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...
82
Voted
ENTCS
2006
148views more  ENTCS 2006»
14 years 9 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 ...
SOCO
2005
Springer
15 years 3 months ago
Flexible Binding for Reusable Composition of Web Services
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
Cesare Pautasso, Gustavo Alonso
CGF
2008
143views more  CGF 2008»
14 years 9 months ago
Sketch-Based Procedural Surface Modeling and Compositing Using Surface Trees
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
Ryan Schmidt, Karan Singh