Sciweavers

6434 search results - page 933 / 1287
» Model Transformations with Reference Models
Sort
View
ICLP
2007
Springer
15 years 11 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
ICWE
2007
Springer
15 years 11 months ago
Transparent Interface Composition in Web Applications
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
Jeronimo Ginzburg, Gustavo Rossi, Matias Urbieta, ...

Publication
307views
15 years 11 months ago
Scale and Rotation Invariant Detection of Singular Patterns in Vector Flow Fields
We present a method for detecting and describing features in vector flow fields. Our method models flow fields locally using a linear combination of complex monomials. These monomi...
Wei Liu, Eraldo Ribeiro
SDMW
2007
Springer
15 years 11 months ago
Query Rewriting Algorithm Evaluation for XML Security Views
Abstract. We investigate the experimental effectiveness of query rewriting over XML security views. Our model consists of access control policies specified over DTDs with XPath e...
Nataliya Rassadko
DATE
2006
IEEE
78views Hardware» more  DATE 2006»
15 years 10 months ago
Functional constraints vs. test compression in scan-based delay testing
We present an approach to prevent overtesting in scan-based delay test. The test data is transformed with respect to functional constraints while simultaneously keeping as many po...
Ilia Polian, Hideo Fujiwara