1355 search results - page 222 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
Scenario-based design exploits the time-varying execution behavior of applications by dynamically adapting the system on which they run. This is a particularly interesting design ...
SOUPS
2010
ACM
14 years 29 days ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...
SIGMETRICS
2010
ACM
13 years 9 months ago
2010
ACM
Sharing content over a mobile network through opportunistic contacts has recently received considerable attention. In proposed scenarios, users store content they download in a lo...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—It is widely recognized that differential decode-andforward (DDF) cooperative transmission scheme is capable of providing a superior performance compared to classic dire...