1010 search results - page 190 / 202 » Logics for Contravariant Simulations |
166
click to vote
PLDI
2009
ACM
16 years 24 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
160
click to vote
DATE
2009
IEEE
16 years 23 days ago
2009
IEEE
—Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay ...
189
click to vote
DSN
2009
IEEE
16 years 23 days ago
2009
IEEE
The threat of soft error induced system failure in high performance computing systems has become more prominent, as we adopt ultra-deep submicron process technologies. In this pap...
162
click to vote
ICNP
2009
IEEE
16 years 20 days ago
2009
IEEE
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...
157
click to vote
ATAL
2009
Springer
16 years 18 days ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...