15644 search results - page 2783 / 3129 » Brittle System Analysis |
182
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
200
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
180
click to vote
CHIMIT
2007
ACM
15 years 10 months ago
2007
ACM
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...
173
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Very recent activities in the IETF and in the Routing Research Group (RRG) of the IRTG focus on defining a new Internet architecture, in order to solve scalability issues related ...
135
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...