BIRTHDAY
2007
Springer
14 years 7 months ago
2007
Springer
BIRTHDAY
2007
Springer
14 years 7 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
BIRTHDAY
2007
Springer
14 years 7 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
BIRTHDAY
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
BIRTHDAY
2007
Springer
14 years 7 months ago
2007
Springer
ATC
2007
Springer
14 years 7 months ago
2007
Springer
Due to the huge amount of integrated devices and sensors in everyday objects ubiquitous systems are in vicinity and will be deployed in large scales in the near future. We expect t...
ATC
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. Jgroup/ARM is a middleware for developing and operating dependable distributed Java applications. Jgroup integrates the distributed object model of Java RMI with the obje...
ATC
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. Grid applications have increasingly sophisticated functional and security requirements. However, current techniques mostly protect only the resource provider from attacks...
ATC
2007
Springer
14 years 7 months ago
2007
Springer
Group key exchange protocols allow their participants to compute a secret key which can be used to ensure security and privacy for various multi-party applications. The resulting g...
ATC
2007
Springer
14 years 7 months ago
2007
Springer
A proxy signature scheme allows an entity to delegate its signing capability to another entity (proxy) in such a way that the proxy can sign messages on behalf of the delegator. Pr...