Found 186 results
Filters: First Letter Of Last Name is H [Clear All Filters]
Hybrid Real-time Quality Assessment Model for Voice over IP. IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (IEEE BMSB)IEEE International Symposium on Broadband Multimedia Systems and Broadcasting (IEEE BMSB).
.
2015. Determination of Bit-Rate Adaptation Thresholds for the Opus Codec for VoIP Services. ISCC 2014, THE NINETEENTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONSISCC 2014, THE NINETEENTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS.
.
2014. No Reference Objective Quality Metric for Stereoscopic 3D. BMSB 2014 : The IEEE International Symposium on Broadband Multimedia Systems and BroadcastingBMSB 2014 : The IEEE International Symposium on Broadband Multimedia Systems and Broadcasting.
.
2014. Accuracy Analysis on Call Quality Assessments in Voice over IP. the 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC’2013)the 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC’2013).
.
2013. Value-driven V-model: From requirements analysis to acceptancetesting. IEICE Transactions on Information and Systems. E99D:1776-1785.
.
2016. Automatic crop detection under field conditions using the HSV colour space and morphological operations. Computers and Electronics in Agriculture. 133
.
2017. Improved image processing-based crop detection using Kalman filtering and the Hungarian algorithm. Computers and Electronics in Agriculture. 148:37-44.
.
2018. Generating Counterexamples for Model Checking by Transformation. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
.
2016. Verifying Temporal Properties of Reactive Systems by Transformation. Third International Workshop on Verification and Program Transformation.
.
2015. Verifying Temporal Properties of Reactive Systems by Transformation. Electronic Proceedings of Theoretical Computer Science. 99
.
2015. Distillation with Labelled Transition Systems. Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation.
.
2012. A Hierarchy of Program Transfprmers. Third International Workshop on Metacomputation.
.
2012. Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Perspectives of Systems Informatics, Lecture Notes in Computer Science. 7162
.
2012. A Graph-Based Definition of Distillation. META 2010: The Second International Workshop on Metacomputation.
.
2010. Extracting the Essence of Distillation. Proceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System InformaticsProceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System Informatics.
.
2009. Constructing Programs From Metasystem Transition Proofs. First International Workshop on Metacomputation in RussiaFirst International Workshop on Metacomputation in Russia.
.
2008. Generating Loop Invariants for Program Verification by Transformation. Electronic Proceedings in Theoretical Computer Science. 253:36-53.
.
2017. Generating Loop Invariants for Program Verification by Transformation. Proceedings of the Fifth International Workshop on Verification and Program Transformation .
.
2017. Distilling Programs to Prove Termination . Electronic Proceedings in Theoretical Computer Science.
.
2020. The Next 700 Program Transformers. Logic-Based Program Synthesis and Transformation.
.
2022. Excommunication: Transforming Calculus Specifications to Remove Internal Communication. Formal Methods: Foundations and Applications.
.
2022. .
2022. Dokumentation spezifischer Anforderungen im Application Requirements Engineering der Produktlinienentwicklung. de Produktlinienentwicklung Fachtagung des BI-Fachbereich Softwaretechnik, Software Engineeringde Produktlinienentwicklung Fachtagung des BI-Fachbereich Softwaretechnik, Software Engineering.
.
2006. Communicating the variability of a software-product family to customers. Informatik Forschung and Entwicklung. 18
.
2004. Dynamic Software Product Lines. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018.