Trustworthy Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319287652, 9783319287669
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Switch, in Time

2016 ◽  
pp. 131-146
Author(s):  
Lenore D. Zuck ◽  
Sanjiva Prasad

scholarly journals Hybrid Typing of Secure Information Flow in a JavaScript-Like Language

2016 ◽  
pp. 63-78 ◽  
Author(s):  
José Fragoso Santos ◽  
Thomas Jensen ◽  
Tamara Rezk ◽  
Alan Schmitt
Keyword(s):  
Information Flow ◽  
Secure Information

scholarly journals Fault Ascription in Concurrent Systems

2016 ◽  
pp. 79-94 ◽  
Author(s):  
Gregor Gössler ◽  
Jean-Bernard Stefani
Keyword(s):  
Concurrent Systems

scholarly journals Modular Monitor Extensions for Information Flow Security in JavaScript

2016 ◽  
pp. 47-62
Author(s):  
José Fragoso Santos ◽  
Tamara Rezk ◽  
Ana Almeida Matos
Keyword(s):  
Information Flow ◽  
Information Flow Security

Disjunctive Information Flow for Communicating Processes

2016 ◽  
pp. 95-111 ◽  
Author(s):  
Ximeng Li ◽  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
Xinyu Feng
Keyword(s):  
Information Flow ◽  
Communicating Processes

scholarly journals Near-Optimal Scheduling for LTL with Future Discounting

2016 ◽  
pp. 112-130 ◽  
Author(s):  
Shota Nakagawa ◽  
Ichiro Hasuo
Keyword(s):  
Optimal Scheduling ◽  
Future Discounting

scholarly journals Multiparty Testing Preorders

2016 ◽  
pp. 16-31 ◽  
Author(s):  
Rocco De Nicola ◽  
Hernán Melgratti

Data Tracking in Parameterized Systems

2016 ◽  
pp. 32-46
Author(s):  
Giorgio Delzanno
Keyword(s):  
Parameterized Systems ◽  
Data Tracking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document