Sciweavers

7971 search results - page 22 / 1595
» On unbounded operators and applications
Sort
View
TRUSTBUS
2009
Springer
16 years 1 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy
CBSE
2009
Springer
16 years 1 months ago
Component-Based Real-Time Operating System for Embedded Applications
Frédéric Loiret, Juan Navas, Jean-Ph...
123
Voted
EUROCAST
2005
Springer
103views Hardware» more  EUROCAST 2005»
16 years 6 days ago
An Excellent Permutation Operator for Cryptographic Applications
Josef Scharinger