Found 734 results
Filters: First Letter Of Last Name is H [Clear All Filters]
PIT: A Practical Mutation Testing Tool for Java (Demo). Proceedings of the 25th International Symposium on Software Testing and Analysis.
.
2016. Predictors of depression severity in a treatment-seeking sample. International Journal of Clinical and Health Psychology. 16
.
2016. Program Transformation to Identify List-Based Parallel Skeletons. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
.
2016. Program Transformation to Identify List-Based Parallel Skeletons. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
.
2016. Risk Management: Achieving Higher Maturity Capability Levels through the LEGO Approach. 2016 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM-MENSURA).
.
2016. SDN-driven multicast streams with adaptive bitrates for VoIP conferences. 2016 IEEE International Conference on Communications (ICC).
.
2016. 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. An Adaptive VM Provisioning Method for Large-Scale Agent-based Traffic Simulations on the Cloud. CloudCom - 6th IEEE International Conference on Cloud Computing Technology and ScienceCloudCom - 6th IEEE International Conference on Cloud Computing Technology and Science.
.
2015. An Adaptive VM Provisioning Method for Large-Scale Agent-based Traffic Simulations on the Cloud. CloudCom 2014CloudCom 2014.
.
2015. At the Vanguard of Design Science: First Impressions and Findings from Ongoing Research, Research-in-Progress Papers and Poster Presentations from the 10th International Conference. 10th International Conference, DESRIST 201510th International Conference, DESRIST 2015.
.
2015. Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach. Innovations in Systems and Software Engineering - a NASA Journal. 11
.
2015. Collaborative Context Features for Critical Systems. 9th International Workshop on Variability Modelling of Software-intensive Systems.
.
2015. Comprehensive Study of Flooding Attack Consequences and Countermeasures in Session Initiation Protocol (SIP). Security and Communications Networks (SCN).
.
2015. Detection of Violation Causes in Relexion Models. 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015)22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015).
.
2015. Differential Privacy in Metric Spaces: Numerical, Categorical and Functional Data under the One Roof. Information Sciences. 305
.
2015. Dynamic Variability Meets Robotics. Computer. 48:94-97.
.
2015. Editorial. Formal Aspects of Computing. 27:473–473.
.
2015.