111 search results - page 6 / 23 » Automated Information Flow Analysis of Virtualized Infrastru... |
117
click to vote
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
We define some interesting incentive issues that arise in the management of virtual infrastructures. We demonstrate that participants’ decisions about the quantities of infrast...
106
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
185
Voted
VEE
2012
ACM
13 years 8 months ago
2012
ACM
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
106
Voted
WCET
2010
14 years 10 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
201
click to vote
GIS
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...