Found 728 results
Filters: First Letter Of Last Name is H [Clear All Filters]
DAPP: A Delay-Aware Packet Prioritisation scheme for VoIP in wireless multi-hop networks. 2016 9th IFIP Wireless and Mobile Networking Conference (WMNC).
.
2016. Differentially private response mechanisms on categorical data. Discrete Applied Mathematics. 211
.
2016. Discrete Planar Truss Optimization by Node Position Variation Using Grammatical Evolution. IEEE Transactions on Evolutionary Computation. 20
.
2016. Distilling New Data Types. Fifth International Workshop on Metacomputation.
.
2016. Enabling Factors for Smart Cities: A Case Study. International Conference of Information SystemsInternational Conference of Information Systems.
.
2016. An energy-efficient mechanism for increasing video quality of service in Wireless Mesh Networks. 2016 IEEE Wireless Communications and Networking Conference.
.
2016. Evaluation of Design Artifacts - more than prototypes and case studies. AIS SIGPRAG Pre-ICIS Workshop 2016.
.
2016. Evidence in Architecture Degradation and Consistency Checking Research: Preliminary Results from a Literature Review. Proccedings of the 10th European Conference on Software Architecture Workshops.
.
2016. An experimental search-based approach to cohesion metric evaluation. Empirical Software Engineering.
.
2016. Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development.
.
2016. FLINTS: A Tool for Architectural-level Modeling of Features in Software Systems. Proccedings of the 10th European Conference on Software Architecture Workshops.
.
2016. Functional Program Transformation for Parallelisation using Skeletons. 9th International Symposium on High-Level Parallel Programming and Applications9th International Symposium on High-Level Parallel Programming and Applications.
.
2016. 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. 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. Good Change and Bad Change: an Analysis Perspective on Software Evolution. Transactions on Foundations for Managing Change.
.
2016. Good Change and Bad Change: An Analysis Perspective on Software Evolution. Transactions on Foundations for Mastering Change ITransactions on Foundations for Mastering Change I.
.
2016. .
2016. Integration and Promotion of Autonomy with the ARE Framework. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. Investigating HCI challenges for Designing Smart Environments. HCI International ConferenceHCI International Conference.
.
2016. 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.