Found 1108 results
Filters: First Letter Of Last Name is B [Clear All Filters]
Towards a Reference Model for Water Smart Grid. International Journal of Advances in Engineering, Science and Technology (IJAEST). 2(3)
.
2013. Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.
.
2013. Towards Realistic Data Population of a Testing Environment. Short paper in the 11th Information Technology &Telecommunications Conference (IT&T 2012)Short paper in the 11th Information Technology &Telecommunications Conference (IT&T 2012).
.
2013. Towards Realistic Sampling: Generating Dependencies in a Relational Database. ACM ICUIMC’13ACM ICUIMC’13.
.
2013. Using Agents to Manage Socio-Technical Congruence in a Global Software Engineering Project. Journal of Information Science.
.
2013. Using the PMBOK® Guide to frame GSD Coordination Strategies. IEEE International Conference on Global Software Engineering ICGSEIEEE International Conference on Global Software Engineering ICGSE.
.
2013. VFDS: Very Fast Database Sampling System. the 14th IEEE Internation Conference on Information Reuse and Integrationthe 14th IEEE Internation Conference on Information Reuse and Integration.
.
2013. Visualizing Software Variability. Systems and Software Variability ManagementSystems and Software Variability Management.
.
2013. Who are we doing Global Software Development research for? 8th IEEE International Conference on Global Software Engineering (ICGSE '13)8th IEEE International Conference on Global Software Engineering (ICGSE '13).
.
2013. Who are we doing Global Software Development research for? 8th IEEE International Conference on Global Software Engineering (ICGSE '13)8th IEEE International Conference on Global Software Engineering (ICGSE '13).
.
2013. Analysing Monitoring and Switching Problems for Adaptive Systems. Journal of Systems and Software. 85
.
2012. A Case Study on Variability in User Interfaces. 16th International Software Product Line Conference (SPLC 2012)16th International Software Product Line Conference (SPLC 2012).
.
2012. Characterizing Real-Time Reflexion-based Architecture Recovery in Practice. 8th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2012)8th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2012).
.
2012. Clinical Information Success in a Maternity Hospital. Irish Congress of Obstetrics, Gynaecology and Perinatal MedicineIrish Congress of Obstetrics, Gynaecology and Perinatal Medicine.
.
2012. On Computing Minimal Equivalent Subformulas. 18th International Conference on Principles and Practice of Constraint Programming (CP 2012)18th International Conference on Principles and Practice of Constraint Programming (CP 2012).
.
2012. Construct Specific Coupling Measurement for C++ Software. Computer Languages, Systems and Structures.
.
2012. A Decision Support System for Global Team Management: Expert Evaluation REMIDI. International Workshop on Tool Support Development and Management in Distributed Software Projects co-located with 7th IEEE International Conference on Global Software Engineering (ICGSE 2012).
.
2012. Designing and Implementing a Hospital Quality Assurance Program. IEEE Software. 29
.
2012. The Effect of Team Dynamics on Software Development Process Improvement. International Journal of Human Capital and Information Technology Professionals. 3
.
2012. On Efficient Computation of Variable MUSes. The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012).
.
2012. Exploring the Role of Commercial Stakeholders in Open Source Software Evolution. 8th International Conference on Open Source Systems8th International Conference on Open Source Systems.
.
2012. FIRST: Common-sense Process Scopes for Starting a Process Improvement Program. Software Process Improvement and Capability dEtermination (SPICE)Software Process Improvement and Capability dEtermination (SPICE).
.
2012. A Formal Approach to Autonomous Vehicle Coordination. 18th International Symposium on Formal Methods (FM)18th International Symposium on Formal Methods (FM).
.
2012. A Formalised, Taxonomy-Driven Approach to Cross-Layer Application Adaptation. ACM Transactions on Autonomous and Adaptive System. 7
.
2012. A Hidden Markov Model based Scheme for Efficient and Fast Dissemination of Safety Messages in VANETs. IEEE Globecom 2012IEEE Globecom 2012.
.
2012.