Conference Papers & Presentations, Dept. of Computer Science : [148] Collection home page

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

Browse
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 148
 next >
First PublishedTitleAuthor(s)Type
Jul-2016Beating the Harmonic lower bound for online bin packingVan Stee, Rob; Heydrich, SandyConference Paper
12-Jul-2016Dealing with Multiple Classes in Online Class Imbalance LearningWang, S.; Minku, Leandro Lei; Yao, X.Conference Paper
2016A calculus for local reversibilityKuhn, Stefan; Ulidowski, IrekConference Paper
9-Nov-2015Extracting Visual Contracts from Java ProgramsHeckel, Reiko; Alshanqiti, AbdullahConference Paper
2016FEDD: Feature Extraction for Explicit Concept Drift Detection in Time SeriesCavalcante, R.; Minku, Leandro Lei; Oliveira, A.Conference Paper
17-Oct-2013On Recovering from Run-time Misbehaviour in ADRPoyias, Kyriakos; Tuosto, EmilioJournal Article
7-May-2016Understanding the Relationship between Frustration and the Severity of Usability Problems : What can Psychophysiological Data (Not) Tell Us?Law, Lai-Chong; Bruun, A.; Heintz, M.; Alkly, L.Conference Paper
2016Discovering “unknown known” security requirementsRashid, A.; Naqvi, A.; Ramdhany, R.; Edwards, M.; Chitchyan, Ruzanna; Babar, M. A.Conference Paper
May-2015Managing Emergent Ethical Concerns for Software Engineering in SocietyRashid, A.; Moore, K.; May-Chahal, C.; Chitchyan, RuzannaConference Paper
May-2015Sustainability Design and Software: The Karlskrona ManifestoBecker, C.; Chitchyan, Ruzanna; Duboc, L.; Easterbrook, S.; Penzenstadler, B.; Seyff, N.; Venters, C. C.Conference Paper
May-2015Engineering Sustainability Through LanguageChitchyan, Ruzanna; Cazzola, W.; Rashid, A.Conference Paper
Aug-2015Autonomous and Self Controlling Smart Objects for the Future Internet.Hernandez, Marco E. Perez; Reiff-Marganiec, StephanConference Paper
Jul-2015Efficient web services selection based on QoS through a distributed parallel semantic approachNakamura, L. H. V.; Prado, P. F. D.; Libardi, R. M. D. O.; Nunes, L. H.; Meneguette, R. I.; Estrella, J. C.; Santana, R. H. C.; Santana, M. J.; Reiff-Marganiec, StephanConference Paper
3-Apr-2016Finding Recurrent Sets with Backward Analysis and Trace PartitioningPiterman, Nir; Bakhirkin, AlexeyConference Paper
Jan-2016T2: Temporal Property VerificationBrockschmidt, Mark; Cook, Byron; Ishtiaq, Samin; Khlaaf, Heidy; Piterman, NirConference Paper
2015An Evidential Reasoning Approach for Assessing Confidence in Safety EvidenceNair, S.; Walkinshaw, Neil; Kelly, T.; Vara, J.Conference Paper
Oct-2015How to Make Best Use of Cross-Company Data for Web Effort Estimation?Minku, Leandro Lei; Sarro, Federica; Mendes, Emilia; Ferrucci, FilomenaConference Paper
1-Jan-2016Maximizing Throughput in Energy-Harvesting Sensor NodesFung, Ping YuenConference Paper
30-Mar-2010Modeling and reasoning over distributed systems using aspect-oriented graph grammarsMachado, Rodrigo; Heckel, Reiko; Ribeiro, LeilaConference Paper
3-Dec-2009Towards an embedding of Graph Transformation in Intuitionistic Linear LogicTorrini, Paolo; Heckel, ReikoConference Paper
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 148
 next >