Found 728 results
Filters: First Letter Of Last Name is H [Clear All Filters]
Mutually Testing Processes. Logical Methods in Computer Science. 11(2)
.
2015. Nature of Computation and Communication. International Conference on Nature of Computation and CommunicationInternational Conference on Nature of Computation and Communication. LNICST 144
.
2015. New Horizons in Design Science: Broadening the Research Agenda. 10th International Conference, DESRIST 2015, Dublin10th International Conference, DESRIST 2015, Dublin.
.
2015. Open Data Diffusion For Service Innovation: An Inductive Case Study On Cultural Open Data Services. The 19th Pacific Asia Conference on Information Systems (PACIS 2015)The 19th Pacific Asia Conference on Information Systems (PACIS 2015).
.
2015. A Randomized Controlled Trial of an internet-delivered treatment: its potential as a low-intensity community intervention for adults with symptoms of depression.. Behaviour Research and Therapy.
.
2015. Real-Time Reflexion Modelling in architecture reconciliation: A multi case study. Information and Software Technology. 61
.
2015. Reasoning On Data Streams: An Approach To Adaptation In Pervasive Systems. Nature of Computation and CommunicationNature of Computation and Communication. 144
.
2015. Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. Nature of Computation and Communication.
.
2015. A Recommender System Architecture for Predictive Telecom Network Management. IEEE Communications Magazine. 53
.
2015. Requirement-Centric Reactive Testing for Safety-Related Automotive Software. Proceedings of the 2nd International Workshop on Requirements Engineering and Testing (RET’15), co-located with ICSE’15.
.
2015. The Resource Based View of Cloud Computing: A Case Study. 9th European Conference on IS Management and Evaluation.
.
2015. Search-Based Refactoring for Layered Architecture Repair: An Initial Investigation. Proceedings of the North American Search Based Software Engineering Symposium (NasBASE)Proceedings of the North American Search Based Software Engineering Symposium (NasBASE).
.
2015. Service capabilities within open innovation: Revisiting the applicability of capability maturity models. Journal of Enterprise Information Management. 28
.
2015. Tools for Ensemble Design and Runtime. Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer ScienceSoftware Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer Science.
.
2015. Towards the adoption of formal techniques for kernel qualification. European Space Agency, (Special Publication) ESA SP. SP-732
.
2015. Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
.
2015. 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. Water Distribution Network Sectorisation Using Graph Theory & Many-Objective Optimisation. Journal of Hydroinformatics.
.
2015. Acceptability, satisfaction and perceived efficacy of “Space from Depression” an internet-delivered treatment for depression. Internet Interventions. 5
.
2016. Adaptive evidence collection in the cloud using attack scenarios. Adaptive evidence collection in the cloud using attack scenarios.
.
2016. Arbres de diffusion pour sessions MVoIP avec flux hétérogènes. ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications.
.
2016. Bridging the Gap Between SPI and SMEs in Educational Settings: A Learning Tool Supporting ISO/IEC 29110. Systems, Software and Services Process Improvement: 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, ProceedingsSystems, Software and Services Process Improvement: 23rd European Conference, EuroSPI 2016, Graz, Austria, Septemb.
.
2016. Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innovations in Systems and Software Engineering. 12
.
2016. Connected Health: From Rural Ireland to Rural India. Workshop on Software Quality in Healthcare Systems, co-located with IEEE International Conference on Software EngineeringWorkshop on Software Quality in Healthcare Systems, co-located with IEEE International Conference on Software Engineering.
.
2016.