1264 search results - page 233 / 253 » Designing Safe, Reliable Systems using Scade |
CF
2007
ACM
13 years 11 months ago
2007
ACM
This paper presents a novel architectural technique to hide fetch latency overhead of hardware encrypted and authenticated memory. A number of recent secure processor designs have...
CSEE
2000
Springer
13 years 11 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
NC
2008
13 years 7 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
WISEC
2009
ACM
2009
ACM
Practical defenses against pollution attacks in intra-flow network coding for wireless mesh networks
14 years 2 months ago
Recent studies show that network coding can provide significant benefits to network protocols, such as increased throughput, reduced network congestion, higher reliability, and ...
SIGCOMM
2005
ACM
14 years 29 days ago
2005
ACM
Thousands of competing autonomous systems must cooperate with each other to provide global Internet connectivity. Each autonomous system (AS) encodes various economic, business, a...