33 results on '"Krumm, H."'
Search Results
2. The adsorption of acenes on rutile TiO[sub 2](110): A multi-technique investigation.
3. Notes on Sedimentation [with Discussion]
4. Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies.
5. Adaptive and reliable binding in ambient service systems.
6. Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems.
7. Policy-Based Management for Resource-Constrained Devices and Systems.
8. Towards the Web of Things: Using DPWS to bridge isolated OSGi platforms.
9. Event-based 3D-monitoring of material flow systems in real-time.
10. Integration of a legacy automation system into a SOA for devices.
11. Location-Transparent Integration of Distributed OSGi Frameworks and Web Services.
12. Model-based management of security services in complex network environments.
13. Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems.
14. Policy-based self-management of industrial service systems.
15. Policy modeling and refinement for network security systems.
16. Automated runtime management of embedded service systems based on design-time modeling and model transformation.
17. Security service adaptation for embedded service systems in changing environments.
18. Model-based configuration of VPNs.
19. Trust-adapted enforcement of security policies in distributed component-structured applications.
20. A framework for the hazard analysis of chemical plants.
21. Verification of UML-based real-time system designs by means of cTLA.
22. User-defined telecooperation services.
23. Formal hazard analysis of hybrid systems in cTLA.
24. Specification of hybrid systems in cTLA+.
25. Support of cooperating and distributed business processes.
26. Compositional specification and structured verification of hybrid systems in cTLA.
27. Trust-Based Monitoring of Component-Structured Software.
28. The Karlsruhe Endoscopic Surgery Trainer as an example for virtual reality in medical education.
29. Model-based management of embedded service systems-an applied approach.
30. Model-driven security management of embedded service systems.
31. Conjugate positions for planar four-bar mechanisms and corresponding special forms of the coupler-curves
32. Oscillations of an elastically suspended coupler of a four-bar-linkage
33. The light in Maxwell's wave equation.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.