2694 search results - page 485 / 539 » Frege's New Science |
189
click to vote
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
145
click to vote
BIRTHDAY
2009
Springer
16 years 17 days ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
176
click to vote
CCS
2009
ACM
16 years 17 days ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
172
Voted
CCS
2009
ACM
16 years 17 days ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
237
click to vote
EDBT
2009
ACM
16 years 17 days ago
2009
ACM
As information networks become ubiquitous, extracting knowledge from information networks has become an important task. Both ranking and clustering can provide overall views on in...