452 search results - page 83 / 91 » Symbolic Execution of Behavioral Requirements |
CRYPTO
2004
Springer
15 years 4 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...
123
click to vote
DEXA
2004
Springer
15 years 4 months ago
2004
Springer
Ambient Intelligence (AmI) is a vision of future Information Society, where people are surrounded by an electronic environment which is sensitive to their needs, personalized to th...
105
click to vote
PADS
2003
ACM
15 years 4 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
TREC
2003
15 years 2 days ago
2003
The Tarragon Consulting team participated in the primary task of the TREC 2003 Genomics Track. We used a combination of knowledge-engineering and corpus analysis to construct sema...
120
click to vote
FORTE
1994
15 years 1 days ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...