580 search results - page 68 / 116 » Expressive policy analysis with enhanced system dynamicity |
108
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
104
click to vote
JSSPP
2004
Springer
15 years 5 months ago
2004
Springer
As we continue to evolve into large-scale parallel systems, many of them employing hundreds of computing engines to take on mission-critical roles, it is crucial to design those s...
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
104
click to vote
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...