7213 search results - page 998 / 1443 » Automated model grouping |
156
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
166
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
175
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
223
Voted
TIME
2003
IEEE
16 years 3 days ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
124
click to vote
CHI
2003
ACM
16 years 2 days ago
2003
ACM
When designing automated systems that make decisions about when to allow or deny interruptions, the methods of professional interruption mediators are an important source of infor...