17082 search results - page 3039 / 3417 » Abstractions for Mobile Computation |
227
Voted
AOSE
2001
Springer
16 years 6 days ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
196
click to vote
CCS
2001
ACM
16 years 6 days ago
2001
ACM
Abstract. We describe a weakness in the High Bandwidth Digital Content Protection (HDCP) scheme which may lead to practical attacks. HDCP is a proposed identity-based cryptosystem ...
175
click to vote
CHARME
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
233
click to vote
CSL
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ï...
220
click to vote
EUROCRYPT
2001
Springer
16 years 6 days ago
2001
Springer
Abstract. We present a new algorithm for upper bounding the maximum average linear hull probability for SPNs, a value required to determine provable security against linear cryptan...