1116 search results - page 170 / 224 » Applying Predicate Abstraction to Abstract State Machines |
101
click to vote
INFOCOM
2012
IEEE
13 years 1 months ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...
107
Voted
ICMLA
2009
14 years 9 months ago
2009
Abstract--In this paper we apply classification to learn geographic regions using Location Based Services (LBS) in Next Generation Networks (NGN). We assume that the information in...
100
click to vote
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
120
click to vote
ECMDAFA
2005
Springer
15 years 4 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
INFOCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— The goal of data center networking is to interconnect a large number of server machines with low equipment cost, high and balanced network capacity, and robustness to l...