551 search results - page 12 / 111 » Preventing existence |
61
Voted
IOLTS
2008
IEEE
15 years 3 months ago
2008
IEEE
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Most of the existing built-in self-repair solutions reuse IP-C...
INFOCOM
2011
IEEE
14 years 26 days ago
2011
IEEE
—In a sensor network, an important problem is to provide privacy to the event detecting sensor node and integrity to the data gathered by the node. Compromised source privacy can...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
AOSE
2001
Springer
15 years 1 months ago
2001
Springer
In this paper, I will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does no...