2214 search results - page 178 / 443 » Complexity of Reasoning |
115
Voted
ENTCS
2007
15 years 3 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
124
Voted
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
130
Voted
MM
2006
ACM
15 years 9 months ago
2006
ACM
Effective usage of multimedia digital libraries has to deal with the problem of building efficient content annotation and retrieval tools. MOM (Multimedia Ontology Manager) is a ...
141
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
143
click to vote
DAC
1994
ACM
15 years 7 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...