5123 search results - page 898 / 1025 » Performance and Security Tradeoff |
171
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
181
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
178
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
175
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
163
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...