1268 search results - page 73 / 254 » Verifying distributed systems: the operational approach |
165
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper aims at demonstrating the benefits and importance of the service concept in the model-driven design of distributed applications. A service defines the observable behavi...
136
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
We present a framework to prevent code injection attacks in MS Windows using Native APIs in the operating system. By adopting the idea of diversity, this approach is implemented i...
378
click to vote
NOMS
2010
IEEE
15 years 4 months ago
2010
IEEE
—The online detection of anomalies is a vital element of operations in data centers and in utility clouds like Amazon EC2. Given ever-increasing data center sizes coupled with th...
156
click to vote
ICC
2007
IEEE
16 years 14 days ago
2007
IEEE
— This paper analyzes the performance of a system architecture for the Authentication, Authorization, and Accounting (AAA), in a scenario where 3G users generate traffic and invo...
152
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of iPlane, a scalable service providing accurate predictions of Internet path performance for emerging overlay...