1264 search results - page 11 / 253 » Designing Safe, Reliable Systems using Scade |
USENIX
2007
13 years 9 months ago
2007
This paper presents SafeStore, a distributed storage system designed to maintain long-term data durability despite conventional hardware and software faults, environmental disrupt...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In the framework of physical Human-Robot Interaction (pHRI), methodologies and experimental tests are presented for the problem of detecting and reacting to collisions ...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Civil infrastructures are vital elements of a nation’s physical well-being and quality of life because modern economies rely on the services these systems provide to move goods,...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise ne...