Sciweavers

10916 search results - page 1898 / 2184
» On Constructive Connectives and Systems
Sort
View
CRYPTO
2004
Springer
123views Cryptology» more  CRYPTO 2004»
16 years 2 days ago
Asymptotically Optimal Communication for Torus-Based Cryptography
Abstract. We introduce a compact and efficient representation of elements of the algebraic torus. This allows us to design a new discretelog based public-key system achieving the o...
Marten van Dijk, David P. Woodruff
DALT
2004
Springer
16 years 2 days ago
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Mare...
E4MAS
2004
Springer
16 years 2 days ago
From Reality to Mind: A Cognitive Middle Layer of Environment Concepts for Believable Agents
The environment is an important but overlooked piece in the construction of multiagent-based scenarios. Richness, believability and variety of scenarios are inseparable from the en...
Paul Hsueh-Min Chang, Kuang-Tai Chen, Yu-Hung Chie...
ESWS
2004
Springer
16 years 2 days ago
Directory Services for Incremental Service Integration
Abstract. In an open environment populated by heterogeneous information services integration will be a major challenge. Even if the problem is similar to planning in some aspects, ...
Ion Constantinescu, Walter Binder, Boi Faltings
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
16 years 2 days ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
« Prev « First page 1898 / 2184 Last » Next »