Trustworthly Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642156397, 9783642156403
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Refactoring Long Running Transactions: A Case Study

2010 ◽  
pp. 318-334 ◽  
Author(s):  
Gianluigi Ferrari ◽  
Roberto Guanciale ◽  
Daniele Strollo ◽  
Emilio Tuosto

scholarly journals An Algebra of Hierarchical Graphs

2010 ◽  
pp. 205-221 ◽  
Author(s):  
Roberto Bruni ◽  
Fabio Gadducci ◽  
Alberto Lluch Lafuente

scholarly journals Certified Result Checking for Polyhedral Analysis of Bytecode Programs

2010 ◽  
pp. 253-267 ◽  
Author(s):  
Frédéric Besson ◽  
Thomas Jensen ◽  
David Pichardie ◽  
Tiphaine Turpin
Keyword(s):  
Polyhedral Analysis

A Framework for Rule-Based Dynamic Adaptation

2010 ◽  
pp. 284-300 ◽  
Author(s):  
Ivan Lanese ◽  
Antonio Bucchiarone ◽  
Fabrizio Montesi
Keyword(s):  
Dynamic Adaptation ◽  
Rule Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document