Search

Your search keyword '"Owe, Olaf"' showing total 338 results

Search Constraints

Start Over You searched for: Author "Owe, Olaf" Remove constraint Author: "Owe, Olaf"
338 results on '"Owe, Olaf"'

Search Results

1. Privacy-preserving transactive energy systems: Key topics and open research challenges

2. Assuring GDPR Conformance Through Language-Based Compliance

3. Integrating Data Privacy Compliance in Active Object Languages

4. Security Wrappers for Information-Flow Control in Active Object Languages with Futures

5. PDS: Deduce Elder Privacy from Smart Homes

6. Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2

7. A Policy Language to Capture Compliance of Data Protection Requirements

8. Privacy Mining from IoT-based Smart Homes

12. Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures

14. Dynamic Structural Operational Semantics

18. Language-Based Mechanisms for Privacy-by-Design

19. A Formal Framework for Consent Management

20. A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems

22. Summary of: Dynamic Structural Operational Semantics

23. Summary of: An Evaluation of Interaction Paradigms for Active Objects

26. A Type-Safe Model of Adaptive Object Groups

27. Lightweight Time Modeling in Timed Creol

31. Confidentiality of Interactions in Concurrent Object-Oriented Systems

32. Hoare-Style Reasoning from Multiple Contracts

33. Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems

34. Proof Repositories for Compositional Verification of Evolving Software Systems : Managing Change When Proving Software Correct

36. Integrating Data Privacy Compliance in Active Object Languages

38. A Bibliography of Ole-Johan Dahl

40. Compositional Reasoning about Shared Futures

41. A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems

42. MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis

43. Safe Locking for Multi-threaded Java

44. Validating Timed Models of Deployment Components with Parametric Concurrency

45. Dynamic Resource Reallocation between Deployment Components

46. Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

47. Concurrent Objects à la Carte

48. Incremental Reasoning for Multiple Inheritance

49. Lazy Behavioral Subtyping

50. An Object-Oriented Component Model for Heterogeneous Nets

Catalog

Books, media, physical & digital resources