1321 search results - page 199 / 265 » Logic Simulation Using Networks of State Machines |
157
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a secure network service for sovereign information sharing whose only trusted component is an off-theshelf secure coprocessor. The participating data providers send enc...
100
click to vote
NDSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
INFOCOM
2012
IEEE
13 years 7 days 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...
PERCOM
2008
ACM
15 years 9 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
124
click to vote
ANCS
2009
ACM
14 years 7 months ago
2009
ACM
Although Regular Expressions (RegExes) have been widely used in network security applications, their inherent complexity often limits the total number of RegExes that can be detec...