3420 search results - page 496 / 684 » A Language-Based Approach to Security |
147
click to vote
TKDE
2008
15 years 5 months ago
2008
Given a transportation network having source nodes with evacuees and destination nodes, we want to find a contraflow network configuration (that is, ideal direction for each edge) ...
161
click to vote
CJ
2010
15 years 2 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
164
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
134
click to vote
SIGCOMM
2009
ACM
16 years 7 hour ago
2009
ACM
In this paper, we study the impact of today’s IT policies, defined based upon a monoculture approach, on the performance of endhost anomaly detectors. This approach leads to th...
151
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...