1527 search results - page 195 / 306 » From Requirements to Design: Formalizing the Key Steps |
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
Deliberate injection of faults into cryptographic devices is an effective cryptanalysis technique against symmetric and asymmetric encryption. We will describe a general concurren...
MICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
TRIDENTCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract. As wireless networks become a critical part of home, business and industrial infrastructure, researchers will meet these demands by providing new networking technologies....
WISEC
2009
ACM
14 years 4 months ago
2009
ACM
In wireless sensor networks, it is critical to restrict the network access only to eligible sensor nodes, while messages from outsiders will not be forwarded in the networks. In t...
JAPLL
2008
13 years 9 months ago
2008
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...