Sciweavers

475 search results - page 37 / 95
» A Framework for Expressing and Combining Preferences
Sort
View
CSFW
2009
IEEE
14 years 3 months ago
Tight Enforcement of Information-Release Policies for Dynamic Languages
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
Aslan Askarov, Andrei Sabelfeld
ATVA
2010
Springer
128views Hardware» more  ATVA 2010»
13 years 10 months ago
What's Decidable about Sequences?
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
Carlo A. Furia
ICIP
1998
IEEE
14 years 10 months ago
Proposal for an Integrated Video Analysis Framework
The analysis of video data targeting the identification of relevant objects and the extraction of associated descriptive characteristics will be the enabling factor for a number o...
Paulo Correia, Fernando Pereira
PERVASIVE
2005
Springer
14 years 2 months ago
A Conceptual Framework for Camera Phone-Based Interaction Techniques
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
Michael Rohs, Philipp Zweifel
WEBDB
2005
Springer
97views Database» more  WEBDB 2005»
14 years 2 months ago
The Framework of an XML Semantic Caching System
As a simple XML query language but with enough expressive power, XPath has become very popular. To expedite evaluation of XPath queries, we consider the problem of caching results...
Wanhong Xu