Sciweavers

801 search results - page 118 / 161
» Reasoning with Reasons in Case-Based Comparisons
Sort
View
ISCI
2008
83views more  ISCI 2008»
15 years 1 months ago
Output schemas of XSLT stylesheets and their applications
The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT styl...
Sven Groppe, Jinghua Groppe
ENTCS
2007
108views more  ENTCS 2007»
15 years 1 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig
TGIS
2008
69views more  TGIS 2008»
15 years 1 months ago
Spatial-Scene Similarity Queries
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
Konstantinos A. Nedas, Max J. Egenhofer
COMCOM
2004
94views more  COMCOM 2004»
15 years 1 months ago
The timely token protocol
The token protocols in FDDI and FDDI-M support synchronous and asynchronous traffic. However, FDDI suffers from a token-lateness problem, and FDDI-M may starve asynchronous traffi...
Jorge Arturo Cobb, Miaohua Lin
IJPP
2010
111views more  IJPP 2010»
15 years 11 days ago
Run-time Spatial Mapping of Streaming Applications to Heterogeneous Multi-Processor Systems
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...
Philip K. F. Hölzenspies, Timon D. ter Braak,...