2299 search results - page 308 / 460 » Logical Data Expiration |
133
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
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...
150
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...
159
click to vote
Publication
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...
136
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
With the advance of pervasive technology, information from both the physical and virtual world is increasingly accessible to developers. Context -aware applications may consume re...
129
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...