Sciweavers

3013 search results - page 148 / 603
» Context-Oriented Domain Analysis
Sort
View
CSFW
2011
IEEE
14 years 25 days ago
Dynamic Enforcement of Knowledge-Based Security Policies
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
Piotr Mardziel, Stephen Magill, Michael Hicks, Mud...

Publication
216views
13 years 11 months ago
The Geometry of Time-Stepping
The space-time geometric structure of Maxwell’s equations is examined and a subset of them is found to define a pair of exact discrete time-stepping relations. The desirability ...
Claudio Mattiussi
POPL
2012
ACM
13 years 8 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
TVCG
2012
184views Hardware» more  TVCG 2012»
13 years 3 months ago
Output-Sensitive Construction of Reeb Graphs
—The Reeb graph of a scalar function represents the evolution of the topology of its level sets. This paper describes a near-optimal output-sensitive algorithm for computing the ...
Harish Doraiswamy, Vijay Natarajan
150
Voted
CAIP
2007
Springer
176views Image Analysis» more  CAIP 2007»
15 years 7 months ago
A Modular Approach for Automating Video Analysis
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
Gayathri Nadarajan, Arnaud Renouf