research unit 1
 

This site is powered by Aigaion - A PHP/Web based management system for shared and annotated bibliographies. For more information visit Aigaion.nl.SourceForge.hetLogo

Flemming, Nielson    

Firstname:Nielson 
Surname:Flemming 
Email: 
Institute: 
Homepage: 
Is RU1 member:NO 

1 publications (0 read)

30 Keywords relate to this author

Access control
Anonymity
Approximation algorithms
Authentication
Bigraphs
Calculi
Concurrent computing
Distributed computing
Distributed systems
Energy saving
Formal methods
Global computing
Graph transformation
Meta-modeling
Mobile code
Mobile computing
Model checking
Model transformation
Multi-interface network
Privacy
Security
Semantics
Service oriented computing
Subtyping
Systems security
Trusted computing
Type theory
Typechecking
Verification
Wireless network




Publications as Author



2009

[RACTI-RU1-2009-124] Kaklamanis, Christos and Flemming, Nielson, Trustworthy Global Computing, Springer, 2009.