Sciweavers

5810 search results - page 151 / 1162
» An Approach to Programming Based on Concepts
Sort
View
COMPSAC
2009
IEEE
15 years 11 months ago
A Static Java Birthmark Based on Control Flow Edges
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Ha...
CAISE
2003
Springer
15 years 9 months ago
Exploiting Generalization for the Composition of Transformations of XML Schema Based Documents
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
Marek Lehmann
161
Voted
TPLP
2002
117views more  TPLP 2002»
15 years 4 months ago
On Properties of Update Sequences Based on Causal Rejection
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
151
Voted
MBUI
2004
104views User Interface» more  MBUI 2004»
15 years 6 months ago
An EUD Approach for Making MBUI Practical
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
José A. Macías, Pablo Castells
ICFP
2006
ACM
16 years 4 months ago
Algebraic fusion of functions with an accumulating parameter and its improvement
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
Shin-ya Katsumata, Susumu Nishimura