Sciweavers

112 search results - page 4 / 23
» Handling Preprocessor-Conditioned Declarations
Sort
View
ICDE
2011
IEEE
281views Database» more  ICDE 2011»
12 years 11 months ago
Declarative analysis of noisy information networks
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
Walaa Eldin Moustafa, Galileo Namata, Amol Deshpan...
CORR
2004
Springer
140views Education» more  CORR 2004»
13 years 7 months ago
Checking modes of HAL programs
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
Maria J. García de la Banda, Warwick Harvey...
ICMT
2009
Springer
14 years 2 months ago
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
Esther Guerra, Juan de Lara, Fernando Orejas
WISE
2009
Springer
14 years 2 months ago
An Integrated Declarative Approach to Web Services Composition and Monitoring
Abstract. In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our apllows user to build the abstract composition b...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
MAGS
2010
116views more  MAGS 2010»
13 years 6 months ago
Comparing goal-oriented and procedural service orchestration
Goals form a declarative description of the desired end result of (part of) an orchestration. A goal-oriented orchestration language is an orchestration language in which these goa...
M. Birna van Riemsdijk, Martin Wirsing