689 search results - page 134 / 138 » A Modal-Logic Based Graph Abstraction |
VIROLOGY
2010
13 years 5 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
FAST
2009
13 years 5 months ago
2009
HYDRAstor is a scalable, secondary storage solution aimed at the enterprise market. The system consists of a back-end architectured as a grid of storage nodes built around a distr...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Depth ordering is instrumental for understanding the 3D geometry of an image. We as humans are surprisingly good ordering even with abstract 2D line drawings. In this paper we pro...
ADHOCNOW
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Robots coordinate among themselves to select one of them to respond to an event reported to one of robots. The goal is to minimize the communication cost of selecting bes...
IWPC
2005
IEEE
14 years 1 months ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...