Sciweavers

7971 search results - page 22 / 1595
» On unbounded operators and applications
Sort
View
TRUSTBUS
2009
Springer
16 years 20 days 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 19 days ago
Component-Based Real-Time Operating System for Embedded Applications
Frédéric Loiret, Juan Navas, Jean-Ph...
DSN
2005
IEEE
15 years 11 months ago
Cruz: Application-Transparent Distributed Checkpoint-Restart on Standard Operating Systems
G. John Janakiraman, Jose Renato Santos, Dinesh Su...