981 search results - page 71 / 197 » Advanced Encryption Standard |
OTM
2007
Springer
14 years 3 months ago
2007
Springer
Capturing the interaction behavior between two or more business parties has major importance in the context of business-tobusiness (B2B) process integration. The Business Process M...
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
CCECE
2006
IEEE
14 years 3 months ago
2006
IEEE
Virtual Reality (VR) has gained more popularity in the recent years due to the advancements in hardware technology, an advancement that eliminated much of the limitations that VR ...
WCRE
2000
IEEE
14 years 1 months ago
2000
IEEE
The Unix programming environment provides a rich and fairly standard set of generic tools for the development and maintenance of software. In an age of advanced software tools and...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...