Sciweavers

3927 search results - page 283 / 786
» Emotional Concept Development
Sort
View
CSFW
2000
IEEE
14 years 3 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
SRDS
1999
IEEE
14 years 3 months ago
A Practical Guideline to the Implementation of Online Shops
Implementing an Online Shop can be a risky project, since there's no widespread and profound knowledge and experiences. This guideline is intended to support managing the org...
Andreas Bartelt, Jochen Meyer
WETICE
1999
IEEE
14 years 3 months ago
Active Hypertext for Distributed Web Applications
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
Eckhart Köppen, Gustaf Neumann
GI
1999
Springer
14 years 3 months ago
Combining Strict and Soft Typing in Functional Programming
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
Manfred Widera, Christoph Beierle
SACRYPT
1999
Springer
14 years 3 months ago
Yarrow-160: Notes on the Design and Analysis of the Yarrow Cryptographic Pseudorandom Number Generator
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...
John Kelsey, Bruce Schneier, Niels Ferguson