Sciweavers

6054 search results - page 1064 / 1211
» Implementation of Andorra-based Languages
Sort
View
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 10 months ago
Certifying cost annotations in compilers
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
Roberto M. Amadio, Nicholas Ayache, Yann Ré...
DEBU
2008
114views more  DEBU 2008»
13 years 10 months ago
Experiences with XQuery Processing for Data and Service Federation
In this paper, we describe our experiences in building and evolving an XQuery engine with a focus on data and service federation use cases. The engine that we discuss is a core co...
Michael Blow, Vinayak R. Borkar, Michael J. Carey,...
DSS
2008
130views more  DSS 2008»
13 years 10 months ago
Knowledge representation concepts for automated SLA management
Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-qualit...
Adrian Paschke, Martin Bichler
APIN
2006
109views more  APIN 2006»
13 years 10 months ago
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems
The core issue of analogical reasoning is the transfer of relational knowledge from a source case to a target problem. Visual analogical reasoning pertains to problems containing ...
Patrick W. Yaner, Ashok K. Goel
ASE
2006
161views more  ASE 2006»
13 years 10 months ago
Automated Prototyping of User Interfaces Based on UML Scenarios
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...
« Prev « First page 1064 / 1211 Last » Next »