Empirical evidence about the UML: a systematic literature review.
(2011)
Journal Article
Budgen, D., Burn, A., Brereton, O., Kitchenham, B., & Pretorius, R. (2011). Empirical evidence about the UML: a systematic literature review. Software: Practice and Experience, 41(4), 363-392. https://doi.org/10.1002/spe.1009
Outputs (85)
Rational Secret Sharing with Honest Players over an Asynchronous Channel (2011)
Presentation / Conference Contribution
Moses Jr., W. K., & Pandu Rangan, C. (2011, December). Rational Secret Sharing with Honest Players over an Asynchronous Channel
Real-time Mosaicing from Unconstrained Video Imagery for UAV Applications (2011)
Presentation / Conference Contribution
Breszcz, M., Breckon, T., & Cowling, I. (2011, April). Real-time Mosaicing from Unconstrained Video Imagery for UAV Applications. Presented at Proc. 26th International Conference on Unmanned Air Vehicle Systems
A Mobile Environment for Sketching-based Skeleton Generation (2011)
Journal Article
Zheng, Q., & Li, F. (2011). A Mobile Environment for Sketching-based Skeleton Generation. World Wide Web, 14(3), 261-279. https://doi.org/10.1007/s11280-010-0104-2
The limits of tractability in Resolution-based propositional proof systems (2011)
Journal Article
Dantchev, S., & Martin, B. (2012). The limits of tractability in Resolution-based propositional proof systems. Annals of Pure and Applied Logic, 163(3), 656-668. https://doi.org/10.1016/j.apal.2011.11.001We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, Res(k). We prove that any first-order sentence with no finite models t... Read More about The limits of tractability in Resolution-based propositional proof systems.
Online Regenerator Placement (2011)
Presentation / Conference Contribution
Mertzios, G., Shalom, M., Wong, P., & Zaks, S. (2011, December). Online Regenerator Placement. Presented at 15th International Conference on Principles of Distributed Systems (OPODIS), Toulouse, FranceConnections between nodes in optical networks are realized by lightpaths. Due to the decay of the signal, a regenerator has to be placed on every lightpath after at most d hops, for some given positive integer d. A regenerator can serve only one ligh... Read More about Online Regenerator Placement.
Using agents to create a university timetable addressing essential & desirable constraints and fair allocation of resources (2011)
Presentation / Conference Contribution
Wangmaeteekul, P., & Budgen, D. (2011, February). Using agents to create a university timetable addressing essential & desirable constraints and fair allocation of resources. Presented at Proceedings of the IADIS International Conference Intelligent Systems and Agents 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, Avila, SpainUniversity timetabling resource allocation problems have previously been investigated using multi-agent systems. Although these studies have proposed various models, these have not addressed such issues as fairness of allocation, and of ranking const... Read More about Using agents to create a university timetable addressing essential & desirable constraints and fair allocation of resources.
On the diameter of reconfiguration graphs for vertex colourings (2011)
Presentation / Conference Contribution
Bonamy, M., Johnson, M., Lignos, I., Patel, V., & Paulusma, D. On the diameter of reconfiguration graphs for vertex colouringsThe reconfiguration graph of the k-colourings of a graph G contains as its vertex set the proper vertex k-colourings of G, and two colourings are joined by an edge in the reconfiguration graph if they differ in colour on just one vertex of G. We prov... Read More about On the diameter of reconfiguration graphs for vertex colourings.
Natural Models for Evolution on Networks (2011)
Presentation / Conference Contribution
Mertzios, G., Nikoletseas, S., Raptopoulos, C., & Spirakis, P. (2011, December). Natural Models for Evolution on Networks. Presented at 7th Workshop on Internet & Network Economics (WINE), SingaporeEvolutionary dynamics have been traditionally studied in the context of homogeneous populations, mainly described by the Moran process [15]. Recently, this approach has been generalized in [13] by arranging individuals on the nodes of a network (in g... Read More about Natural Models for Evolution on Networks.
Lift Contractions (2011)
Presentation / Conference Contribution
Golovach, P., Kamiński, M., Paulusma, D., & Thilikos, D. Lift ContractionsWe introduce and study a new containment relation in graphs – lift contractions. H is a lift contraction of G if H can be obtained from G by a sequence of edge lifts and edge contractions. We show that a graph contains every n-vertex graph as a lift... Read More about Lift Contractions.