11603 search results - page 614 / 2321 » Securing Embedded Systems |
198
Voted
HOTOS
2003
IEEE
16 years 18 days ago
2003
IEEE
Data replication is a widely used technique for achieving fault tolerance and improved performance. With the advent of content delivery networks, it is becoming more and more freq...
156
Voted
USENIX
2007
15 years 9 months ago
2007
In many environments, a computer system is severely constrained to the extent that the practical input mechanisms are merely binary switches. Requiring the user to remember a long...
174
click to vote
CN
2010
15 years 6 months ago
2010
PuppetCast is a protocol for secure peer sampling in large-scale distributed systems. A peer sampling protocol continuously provides each node in the system with a uniform random ...
168
Voted
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
181
Voted
RR
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...