Sciweavers

1090 search results - page 86 / 218
» Resource-Bounded Partial Evaluation
Sort
View
BPM
2005
Springer
101views Business» more  BPM 2005»
15 years 3 months ago
Service Retrieval Based on Behavioral Specifications and Quality Requirements
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
Daniela Grigori, Verónika Peralta, Mokrane ...
XIMEP
2004
ACM
74views Database» more  XIMEP 2004»
15 years 3 months ago
Schema Validation and Type Annotation for Encoded Trees
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...
Torsten Grust, Stefan Klinger
ICCL
1998
IEEE
15 years 2 months ago
Modular Compilers Based on Monad Transformers
The monadic style of language speci cation has the advantages of modularity and extensibility: it is simple to add or change features in an interpreter to re ect modi cations in t...
William L. Harrison, Samuel N. Kamin
CP
1998
Springer
15 years 2 months ago
Suggestion Strategies for Constraint-Based Matchmaker Agents
In this paper we describe a paradigm for contentfocused matchmaking, based on a recently proposed model for constraint acquisition-and-satisfaction. Matchmaking agents are conceiv...
Eugene C. Freuder, Richard J. Wallace
FMOODS
2007
14 years 11 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...