1633 search results - page 241 / 327 » On the Verification of Temporal Properties |
85
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
106
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
90
Voted
OSDI
2008
ACM
16 years 29 days ago
2008
ACM
We pose partitioning a b-bit Internet Protocol (IP) address space as a supervised learning task. Given (IP, property) labeled training data, we develop an IP-specific clustering a...
107
click to vote
ICML
2009
IEEE
15 years 7 months ago
2009
IEEE
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...
85
Voted
HAPTICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Human vibrotactile detection experiments were used to compare temporal sinusoids displayed on three commercial haptic devices to a high-fidelity linear voice-coil actuator. The t...