Sciweavers

2414 search results - page 259 / 483
» Reasoning Support for OWL-E
Sort
View
SOCO
2010
Springer
15 years 4 months ago
Managing Variability in Workflow with Feature Model Composition Operators
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
TOOLS
2010
IEEE
15 years 4 months ago
Visualizing Dynamic Metrics with Profiling Blueprints
While traditional approaches to code profiling help locate performance bottlenecks, they offer only limited support for removing these bottlenecks. The main reason is the lack of v...
Alexandre Bergel, Romain Robbes, Walter Binder
AMSTERDAM
2009
15 years 4 months ago
Cumulative Readings of Every Do Not Provide Evidence for Events and Thematic Roles
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
Lucas Champollion
DSL
2009
15 years 4 months ago
A Haskell Hosted DSL for Writing Transformation Systems
KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of...
Andy Gill
CORR
2010
Springer
69views Education» more  CORR 2010»
15 years 4 months ago
Extending INET Framework for Directional and Asymmetrical Wireless Communications
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
Paula Uribe, Juan Carlos Maureira Bravo, Olivier D...