44651 search results - page 8857 / 8931 » Generalized |
207
click to vote
CASES
2011
ACM
13 years 12 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
163
click to vote
CBSE
2011
Springer
13 years 12 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
CBSE
2011
Springer
13 years 12 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
124
click to vote
CCS
2011
ACM
13 years 12 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
102
click to vote
CCS
2011
ACM
13 years 12 months ago
2011
ACM
The sheer volume of new malware found each day is growing at an exponential pace. This growth has created a need for automatic malware triage techniques that determine what malwar...