544 results on '"Wolfgang A. Halang"'
Search Results
2. Sind Bitcoin-Transaktionen sicher, echtzeitfähig und ressourcenadäquat?
3. A Mobile Recommender System for Location-Aware Telemedical Diagnostics.
4. Von Algol 68 zu SafePEARL.
5. Sequentially Grouping Items into Clusters of Unspecified Number.
6. 50 Jahre Echtzeitprogrammiersprache PEARL.
7. Suppressing electromagnetic interference with chaos control: Methodologies and case study.
8. PEARL für sicherheitsgerichtete Echtzeitprogrammierung.
9. A Cephalomorph Real-Time Computer.
10. Neural Networks in View of Explainable Artificial Intelligence
11. Secure Cloud Computing.
12. An energy-aware dynamic scheduling algorithm for hard real-time systems.
13. Integrierte Materialflussanalyse und Prozessmodellierung als Planungshilfe im Wasser- und Energiesektor.
14. A 3-Z-Network Boost Converter.
15. Cascading failures of power grids caused by line breakdown.
16. Recommender Systems in Telemedicine.
17. Discovery and Selection of Semantic Web Services
18. Web service access control with semantic interoperation.
19. On the Convergence of a Leader-Following Discrete-Time Consensus Protocol.
20. Cryptography Based on Spatiotemporal Chaotic Systems.
21. A Z-Source Half-Bridge Converter.
22. A networking requirement application by multi-objective genetic algorithms with Sexual Selection.
23. A safety shell for UML-RT Projects.
24. A Rough Similarity Measure for Ontology Mapping.
25. Rough Ontology Mapping in E-Business Integration.
26. A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems.
27. Representation and Discovery of Intelligent E-Services.
28. Securing Communication by Chaos-based Encryption.
29. A Chip Performing Chaotic Stream Encryption.
30. Application of Chaos-based Pseudo-Random-Bit Generators in Internet-based Online Payments.
31. Safe and Timely Scenario Switching in UML Real-Time Projects.
32. Ein PEARL-Einplatinenrechner hält Einzug auf dem Bauernhof.
33. A UML Framework for Safety Mechanisms Based on IEC 61508.
34. Specification of Function Block Applications with UML.
35. A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach.
36. Specification and Verification of Applications Based on Function Blocks.
37. Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML.
38. Profiling Specification PEARL Designs.
39. Temporal Feasibility Verification of Specification PEARL Designs.
40. An Approach to Configuration Management and Co-Simulation in Distributed Embedded Systems.
41. Incremental collaborative filtering based on Mahalanobis distance and fuzzy membership for recommender systems.
42. PEARL for Distributed Embedded Systems.
43. A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.
44. Fault Detection in Safety-Critical Embedded Systems.
45. Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.
46. Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme.
47. Safe Object Oriented Programming of Distributed Real Time Systems in PEARL.
48. Schutz von Automatisierungssystemen durch gerätetechnisch unterstützte Sicherheitsmaßnahmen.
49. Composing Dependable Real Time Software of Function Blocks.
50. Sind Bitcoin-Transaktionen sicher, echtzeitfähig und ressourcenadäquat?
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.