Sciweavers

11063 search results - page 1861 / 2213
» On the existence of universal models
Sort
View
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
16 years 5 days ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...
CBSE
2004
Springer
16 years 5 days ago
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
Antonia Bertolino, Raffaela Mirandola
CRYPTO
2004
Springer
127views Cryptology» more  CRYPTO 2004»
16 years 5 days ago
IPAKE: Isomorphisms for Password-Based Authenticated Key Exchange
Abstract. In this paper we revisit one of the most popular passwordbased key exchange protocols, namely the OKE (for Open Key Exchange) scheme, proposed by Luck in 1997. Our result...
Dario Catalano, David Pointcheval, Thomas Pornin
DFG
2004
Springer
16 years 5 days ago
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
Wilhelm Schäfer, Robert Wagner, Jürgen G...
ECAI
2004
Springer
16 years 5 days ago
Context Dependence in Multiagent Resource Allocation
A standard assumption in studies of multiagent resource allocation problems is that the value an individual agent places on its assignment remains unchanged by any redistribution ...
Paul E. Dunne
« Prev « First page 1861 / 2213 Last » Next »