471 search results - page 63 / 95 » Automatic Mutual Exclusion |
SAINT
2006
IEEE
15 years 7 months ago
2006
IEEE
Inter-organizational projects involve the creation, modification and management of content. Unless carefully handled, these overheads can cause the loss of mutual understanding. ...
101
click to vote
IUI
2005
ACM
15 years 6 months ago
2005
ACM
Our goal is to automatically recognize and enroll new vocabulary in a multimodal interface. To accomplish this our technique aims to leverage the mutually disambiguating aspects o...
111
click to vote
FC
2000
Springer
15 years 4 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...
140
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
136
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...