1748 search results - page 286 / 350 » Security Models for Heterogeneous Networking |
123
Voted
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
135
click to vote
MOBISYS
2007
ACM
16 years 2 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
132
click to vote
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...
108
click to vote
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
The ever increasing sizes of on-chip caches and the growing domination of wire delay necessitate significant changes to cache hierarchy design methodologies. Many recent proposal...
163
click to vote
NOCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Network-on-Chip (NoC) architectures have a wide variety of parameters that can be adapted to the designer’s requirements. Fast exploration of this parameter space is only possib...