13383 search results - page 2543 / 2677 » Abstractions from proofs |
AMKM
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
ASIACRYPT
2003
Springer
14 years 3 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...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
BIRTHDAY
2003
Springer
14 years 3 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...
BIRTHDAY
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...