3428 search results - page 76 / 686 » Making the Case |
92
Voted
CCS
2008
ACM
15 years 8 days ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
103
Voted
CASES
2005
ACM
15 years 7 days ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
119
Voted
LCTRTS
2000
Springer
15 years 1 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
77
Voted
ACL
1997
14 years 11 months ago
1997
We provide a general account of parallelism in discourse, and apply it to the special case of resolving possible readings for instances of VP ellipsis. We show how several problem...
81
Voted
SIGECOM
2008
ACM
14 years 10 months ago
2008
ACM
Trust between a pair of users is an important piece of information for users in an online community (such as electronic commerce websites and product review websites) where users ...