554 search results - page 99 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
98
Voted
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
105
click to vote
SCP
1998
14 years 9 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
184
Voted
CASES
2011
ACM
13 years 9 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...
100
Voted
LCN
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract—We introduce a game-theoretic framework for reasoning about bandwidth attacks, a common form of distributed denial of service (DDoS) attacks. In particular, our traffic...
97
Voted
SIGSOFT
2004
ACM
15 years 2 months ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...