Sciweavers

7971 search results - page 22 / 1595
» On unbounded operators and applications
Sort
View
73
Voted
TRUSTBUS
2009
Springer
15 years 4 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
64
Voted
CBSE
2009
Springer
15 years 4 months ago
Component-Based Real-Time Operating System for Embedded Applications
Frédéric Loiret, Juan Navas, Jean-Ph...
54
Voted
DSN
2005
IEEE
15 years 3 months ago
Cruz: Application-Transparent Distributed Checkpoint-Restart on Standard Operating Systems
G. John Janakiraman, Jose Renato Santos, Dinesh Su...
67
Voted
EUROCAST
2005
Springer
103views Hardware» more  EUROCAST 2005»
15 years 3 months ago
An Excellent Permutation Operator for Cryptographic Applications
Josef Scharinger