Found 728 results
Filters: First Letter Of Last Name is H [Clear All Filters]
Software Startups – A Research Agenda. e-Informatica Software Engineering Journal. 10
.
2016. Tackling Society's Grand Challenges with Design Science . 11th International Conference, DESRIST .
.
2016. .
2016. Types of IT Architectures in Smart Cities – A review from a Business Model and Enter-prise Architecture Perspective. AIS Pre-ICIS Workshop on “IoT & Smart City Challenges and Applications” – ISCA 2016.
.
2016. Urban enterprise: A review of Smart City frameworks from an Enterprise Architecture perspective. 2016 IEEE International Smart Cities Conference (ISC2).
.
2016. .
2016. Using higher-order contracts to model session types. Logical Methods in Computer Science. 12
.
2016. Value-driven V-model: From requirements analysis to acceptancetesting. IEICE Transactions on Information and Systems. E99D:1776-1785.
.
2016. Value-driven V-model: From requirements analysis to acceptancetesting. IEICE Transactions on Information and Systems. E99D:1776-1785.
.
2016. .
2017. .
2017.
Assessing and Improving the Mutation Testing Practice of PIT. 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017).
.
2017. Automatic Anomaly Detection over Sliding Windows: Grand Challenge. Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems.
.
2017. Automatic Anomaly Detection over Sliding Windows: Grand Challenge. Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems.
.
2017. Automatic crop detection under field conditions using the HSV colour space and morphological operations. Computers and Electronics in Agriculture. 133
.
2017. Barriers to Benefit from Integration of Building Information with Live Data from IOT Devices during the Facility Management Phase . BIM Gathering 2017 .
.
2017. Challenges with Image Event Processing: Poster. Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems.
.
2017. Cities as Enterprises: A Comparison of Smart City Frameworks Based on Enterprise Architecture Requirements. Second International Conference, Smart-CT 2017Second International Conference, Smart-CT 2017.
.
2017. A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.
.
2017. A coinductive equational characterisation of trace inclusion for regular processes . Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday.
.
2017. Context‐dependent reconfiguration of autonomous vehicles in mixed traffic. Journal of Software: Evolution and Process. 30
.
2017. Distinguishing between Communicating Transactions. CoRR. abs/1703.03256
.
2017. Distinguishing between communicating transactions. Information and Computation.
.
2017. Endurance prediction and error Reduction in NAND flash using machine learning. 17th Non-Volatile Memory Technology Symposium (NVMTS).
.
2017. The Essential Elements of a Risk Governance Framework for Current and Future Nanotechnologies. Risk Analysis. :n/a–n/a.
.
2017.