4693 search results - page 855 / 939 » Verifying Hybrid Systems |
199
Voted
POPL
2006
ACM
16 years 29 days ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
127
click to vote
STOC
2006
ACM
16 years 29 days ago
2006
ACM
The PCP theorem [3, 2] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The cele...
118
Voted
CCS
2009
ACM
15 years 7 months ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
108
Voted
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—Channel assignment is a very important topic in wireless networks. In this paper, we study FDMA channel assignment in a non-cooperative wireless network, where devices are selï¬...
TAICPART
2006
IEEE
15 years 6 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...