101 results on '"Krumm, H."'
Search Results
2. Compositional Specification and Verification of High-Speed Transfer Protocols
3. Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations
4. KISMET BASED MULTIMEDIA WORKSTATION FOR OPERATIONAL SUPPORT IN FUSION PLANT REMOTE MAINTENANCE
5. Improving the efficiency of automated protocol implementations using a configurable FDT compiler
6. The adsorption of acenes on rutile TiO[sub 2](110): A multi-technique investigation.
7. CIL — Eine Sprache zur Implementierung von Kommunikationsdiensten
8. Notes on Sedimentation [with Discussion]
9. Lust auf Literatur
10. Behavioral targetting: Consumenten willen geen transparantie
11. Behavioral targeting: Droom, nachtmerrie of toekomst
12. Lust auf Literatur
13. Fach- und Wissenschaftssprachen in den Geistes- und Sozialwissenschaften
14. Auf der Suche nach europäischen Identitäten: Homogene und/oder multiple sprachliche Identitäten.
15. Die Kosten der Mehrsprachigkeit. Globalisierung und sprachliche Vielfalt / The Cost of Multilingualism. Glabalisation and Linguistic Diversity.
16. Loss of Communication in the Information Age. Kommunikationsverlust im Informationszeitalter.
17. Model-based management of embedded service systems-an applied approach
18. Trust-Based Monitoring of Component-Structured Software
19. Tool-Supported Refinement of High-Level Requirements and Constraints Into Low-Level Policies.
20. Adaptive and reliable binding in ambient service systems.
21. Lightweight Policy-Based Management of Quality-Assured, Device-Based Service Systems.
22. Policy-Based Management for Resource-Constrained Devices and Systems.
23. Towards the Web of Things: Using DPWS to bridge isolated OSGi platforms.
24. Event-based 3D-monitoring of material flow systems in real-time.
25. Integration of a legacy automation system into a SOA for devices.
26. Location-Transparent Integration of Distributed OSGi Frameworks and Web Services.
27. Model-based management of security services in complex network environments.
28. Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems.
29. The adsorption of acenes on rutile TiO2(110): A multi-technique investigation
30. Policy-based self-management of industrial service systems.
31. Policy modeling and refinement for network security systems.
32. Automated runtime management of embedded service systems based on design-time modeling and model transformation.
33. Security service adaptation for embedded service systems in changing environments.
34. Approaches to the Formal Verification of Hybrid Systems
35. Model-based configuration of VPNs.
36. Trust-adapted enforcement of security policies in distributed component-structured applications.
37. A framework for the hazard analysis of chemical plants.
38. Verification of UML-based real-time system designs by means of cTLA.
39. An all-electric vehicle technology demonstrator with a 35-mm electrothermal gun system
40. Setup and performance of a 105 mm electrothermal gun
41. Preoptimization of large calibre plasmaburners with a full scale experimental simulator
42. The Karlsruhe Endoscopic Surgery Trainer as an example for virtual reality in medical education
43. Die Ausbildung von Fremdsprachenlehrern für Europa
44. Interactive verification of communication software on the basis of CIL.
45. User-defined telecooperation services.
46. Formal hazard analysis of hybrid systems in cTLA.
47. Specification of hybrid systems in cTLA+.
48. Support of cooperating and distributed business processes.
49. Compositional specification and structured verification of hybrid systems in cTLA.
50. Marine Geology of Kiel Bay
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.