Sciweavers

3819 search results - page 189 / 764
» Simple Easy Terms
Sort
View
195
Voted
PERCOM
2007
ACM
16 years 6 months ago
SHAD: A Human-Centered Security Architecture for the Plan B Operating System
This paper describes SHAD, a novel architecture for security in pervasive computing environments, and a prototype implementation. SHAD is a Peer-to-Peer and humancentered security...
Enrique Soriano, Francisco J. Ballesteros, Gorka G...
188
Voted
MOBIHOC
2008
ACM
16 years 6 months ago
P2P-based routing and data management using the virtual cord protocol (VCP)
We present Virtual Cord Protocol (VCP), a virtual relative position based routing protocol for sensor networks that also provides methods for data management as known from standar...
Abdalkarim Awad, Reinhard German, Falko Dressler
DCC
2008
IEEE
16 years 6 months ago
Image Compression by Visual Pattern Vector Quantization (VPVQ)
This paper proposes a new image compression scheme by introducing visual patterns to nonlinear interpolative vector quantization (IVQ). Input images are first distorted by a gener...
Feng Wu, Xiaoyan Sun
ICCAD
2006
IEEE
134views Hardware» more  ICCAD 2006»
16 years 3 months ago
A delay fault model for at-speed fault simulation and test generation
We describe a transition fault model, which is easy to simulate under test sequences that are applied at-speed, and provides a target for the generation of at-speed test sequences...
Irith Pomeranz, Sudhakar M. Reddy
188
Voted
PLPV
2010
ACM
16 years 3 months ago
Modular reasoning about invariants over shared state with interposed data members
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
Stephanie Balzer, Thomas R. Gross