Theses, Dept. of Computer Science : [51] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 51
 next >
PreviewFirst PublishedTitleAuthor(s)
1-Jan-2015Nominal Lambda CalculusCrole, Roy; Kurz, Alexander; Nebel, Frank
1-Jan-2015CMMI-CM compliance checking of formal BPMN models using MaudeBoronat, Artur; Heckel, Reiko; El-Saber, Nissreen A. S.
2008Management concerns in service-driven applicationsAlghamdi, Ahmed Musfer
2006Flexibo : language and its application to static analysisZhou, Jianguo
2006Automatic presentations of groups and semigroupsOliver, Graham
2006Optimization problems in communication networksMihalak, Matus
2003Categories of containersAbbott, Michael Gordon
2005Formal languages and the irreducible word problem in groupsFonseca, Ana
2000Alternative approaches to optophonic mappingsCapp, Michael.
1-Dec-2014Multimodal human-computer interaction for enhancing customers’ decision-making and experience on B2C e-commerce websitesLaw, Effie; Fiadeiro, Jose; Al Sokkar, Abdullah Ahmad Musa
1-Dec-2013On the Synthesis of ChoreographiesTuosto, Emilio; Crole, Roy; Lange, Julien
1-Aug-2014A model for supporting electrical engineering with e-learningLaw, Effie; Thomas, Rick; Akaslan, Dursun
1-Sep-2014Compressed representation of XML documents with rapid navigationRaman, Rajeev; Thomas, Richard; Kharabsheh, Mohammad Kamel Ahmad
1-Jun-2014Design-by-contract for software architecturesTuosto, Emilio; Heckel, Reiko; Poyias, Kyriakos
1-Nov-2013Activity awareness in context-aware systems using software sensorsReiff-Marganiec, Stephan; Heckel, Reiko; Pathan, Kamran Taj
31-Jul-2013Maintaining Transactional Integrity in Long Running Workflow Services: A Policy-Driven FrameworkReiff-Marganiec, Stephan; Heckel, Reiko; Ali, Manar Sayed Salamah
1-Jun-2013Algorithms for Wireless Communication and Sensor NetworksErlebach, Thomas; Hoffmann, Michael; Grant, Thomas
1-May-2013Ant Colony Optimization in Stationary and Dynamic EnvironmentsYang, Shengxiang; Erlebach, Thomas; Mavrovouniotis, Michalis
1-Jan-2013Broadcasting, Coverage, Energy Efficiency and Network Capacity in Wireless NetworksErlebach, Thomas; Thomas, Richard; Henna, Shagufta
1-Mar-2013Zooming out of Membrane Graph Transformation SystemsHeckel, Reiko; Ulidowksi, Irek; Bapodra, Mayur
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 51
 next >