23119 search results - page 4418 / 4624 » From Domain to Requirements |
180
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
187
click to vote
ASIACRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We study two closely related primitives: Broadcast Encryption and Key Predistribution Schemes (KPS). Broadcast Encryption allows a broadcaster to broadcast an encrypted m...
155
Voted
ASIACRYPT
2003
Springer
15 years 12 months ago
2003
Springer
Provable security usually makes the assumption that a source of perfectly random and secret data is available. However, in practical applications, and especially when smart cards a...
173
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
206
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...