Sciweavers

1912 search results - page 245 / 383
» On the evaluation of argumentation formalisms
Sort
View
AMAST
2008
Springer
15 years 8 months ago
An Algebra for Features and Feature Composition
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...
Sven Apel, Christian Lengauer, Bernhard Mölle...
AMI
2008
Springer
15 years 8 months ago
An Ambient Agent Model Exploiting Workflow-Based Reasoning to Recognize Task Progress
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
Fiemke Both, Mark Hoogendoorn, Jan Treur
CAISE
2008
Springer
15 years 8 months ago
A Work Allocation Language with Soft Constraints
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of control and data, but facilities for allocating ta...
Christian Stefansen, Sriram K. Rajamani, Parameswa...
CIKM
2008
Springer
15 years 8 months ago
Pruning nested XQuery queries
We present in this paper an approach for XQuery optimization that exploits minimization opportunities raised in composition-style nesting of queries. More precisely, we consider t...
Bilel Gueni, Talel Abdessalem, Bogdan Cautis, Emma...
DOCENG
2005
ACM
15 years 8 months ago
Compiling XPath for streaming access policy
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...
Pierre Genevès, Kristoffer Høgsbro R...