29 results on '"Krumm, H."'
Search Results
2. Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies.
3. Adaptive and reliable binding in ambient service systems.
4. Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems.
5. Policy-Based Management for Resource-Constrained Devices and Systems.
6. Towards the Web of Things: Using DPWS to bridge isolated OSGi platforms.
7. Event-based 3D-monitoring of material flow systems in real-time.
8. Integration of a legacy automation system into a SOA for devices.
9. Location-Transparent Integration of Distributed OSGi Frameworks and Web Services.
10. Model-based management of security services in complex network environments.
11. Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems.
12. Policy-based self-management of industrial service systems.
13. Policy modeling and refinement for network security systems.
14. Automated runtime management of embedded service systems based on design-time modeling and model transformation.
15. Security service adaptation for embedded service systems in changing environments.
16. Model-based configuration of VPNs.
17. Trust-adapted enforcement of security policies in distributed component-structured applications.
18. A framework for the hazard analysis of chemical plants.
19. Verification of UML-based real-time system designs by means of cTLA.
20. User-defined telecooperation services.
21. Formal hazard analysis of hybrid systems in cTLA.
22. Specification of hybrid systems in cTLA+.
23. Support of cooperating and distributed business processes.
24. Compositional specification and structured verification of hybrid systems in cTLA.
25. A framework for the hazard analysis of chemical plants
26. Security service adaptation for embedded service systems in changing environments
27. Policy Modeling and Refinement for Network Security Systems
28. Model-based configuration of VPNs
29. Model-driven security management of embedded service systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.