Sciweavers

1027 search results - page 79 / 206
» Language Support for Connector Abstractions
Sort
View
MODELS
2010
Springer
13 years 7 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis
FDL
2005
IEEE
14 years 2 months ago
Hardware Synthesis of Parallel Machines from SystemC
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
Antoni Portero, Lluis Ribas, Jordi Carrabina
CAISE
1995
Springer
14 years 21 days ago
Process Improvement - The Way Forward
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
M. M. Lehman
XSYM
2009
Springer
138views Database» more  XSYM 2009»
14 years 3 months ago
XQuery Full Text Implementation in BaseX
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
Christian Grün, Sebastian Gath, Alexander Hol...
CP
2007
Springer
14 years 3 months ago
Advisors for Incremental Propagation
Abstract. While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming sys...
Mikael Z. Lagerkvist, Christian Schulte