Author(s): hrsg. von Bram Adams, Michael Haupt, Daniel Lohmann
Language: English
Pages: 56
Titelblatt......Page 5
Impressum......Page 6
Preface......Page 7
Organizers......Page 10
Session 1: Adepts of Code and the Wizards of OS......Page 13
2.1 Common behavior and potential de......Page 15
2.2 The specific APIs......Page 16
4. Assessment......Page 17
5. Related work......Page 18
A.2 alloc_noderef......Page 19
A.6 kmalloc......Page 20
B. Excerpt of the HCL file......Page 21
1. Introduction......Page 23
2.3 Minimal solution in AspectJ......Page 24
4. Conclusion......Page 25
A. Entire example......Page 26
2. Motivating Example......Page 27
2.1.2 Fulfilling Truck Safety Constraint......Page 28
4. VIL Mapping to Fractal......Page 29
5. Wrappers Interactions......Page 30
References......Page 31
2. Motivating Problem......Page 33
4. AspectKE*......Page 34
4.2.2 Advice......Page 35
7. RelatedWork......Page 36
References......Page 37
2. Threats to Consistency......Page 39
2.2 Compositional threats......Page 40
3.2 Reconfiguration in AO-OpenCom......Page 41
4.1 Addressing System Environment Threats......Page 42
4.3 Ordering of Threat Aspects......Page 43
5.3 COF Overhead......Page 44
References......Page 45
2.1 Malleability......Page 47
2.3 Using Broadcast Method Call for Malleability......Page 48
3.2 State Maintenance......Page 49
3.4 Static Tracking of Commitment Satisfaction......Page 50
4.2.1 Expressing Transactional Needs......Page 51
6. Summary......Page 52
References......Page 53
Aktuelle Technische Berichte des Hasso-Plattner-Instituts......Page 55
