Published Articles, Dept. of Computer Science : [386] 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 386
 next >
First PublishedTitleAuthor(s)Type
4-Aug-2017Sound conformance testing for cyber-physical systems: Theory and implementationAraujo, Hugo; Carvalhoa, Gustavo; Mohaqeqi, Morteza; Mousavi, Mohammad Reza; Sampaio, AugustoJournal Article
2017Optimized Service Level Agreement Establishment in Cloud Computingde Azevedo, Leonildo J. M.; Estrella, Julio C.; Nakamura, Luis H. V.; Santana, Marcos J.; Santana, Regina H. C.; Toledo, Claudio F. Motta; Batista, Bruno G.; Reiff-Marganiec, StephanJournal Article
19-Oct-2016Finding Clustering Configurations to Accurately Infer Packet Structures from Network DataEsoul, Othman; Walkinshaw, NeilPreprint
28-Dec-2016Honesty by TypingBartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, RobertoJournal Article
28-Dec-2016Honesty by TypingBartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, RobertoJournal Article
1-May-2016On preventive blood pressure self-monitoring at homeVerdezoto, Nervo; Grönvall, ErikJournal Article
29-Jun-2017Fog Computing for Sustainable Smart Cities: A SurveyPerera, Charith; Qin, Yongrui; Estrella, Julio C.; Reiff-Marganiec, Stephan; Vasilakos, Athanasios V.Journal Article
8-Mar-2017Encoding Nearest Larger ValuesHoffmann, Michael; Iacono, John; Nicholson, Patrick K.; Raman, RajeevJournal Article
15-Dec-2015Self-Care Technologies in HCI: Trends, Tensions, and OpportunitiesNunes, Francisco; Verdezoto, Nervo; Fitzpatrick, Geraldine; Kyng, Morten; Grönvall, Erik; Storni, CristianoJournal Article
18-May-2017Verifying Increasingly Expressive Temporal Logics for Infinite-State SystemsCook, Byron; Khlaaf, Heidy; Piterman, NirJournal Article
20-Mar-2017On Succinct Representations of Binary TreesDavoodi, Pooya; Raman, Rajeev; Srinivasa Rao SattiJournal Article
10-Aug-2016Uncertainty-Driven Black-Box Test Data GenerationWalkinshaw, Neil; Fraser, GordonJournal Article
5-Jul-2016Improved Lower Bounds for Online Hypercube PackingHeydrich, Sandy; van Stee, RobJournal Article
11-Jan-2017Online bin stretching with three binsBöhm, Martin; Sgall, Jiri; van Stee, Rob; Veselý, PavelJournal Article
3-Feb-2017Ensemble learning for data stream analysis: a surveyKrawczyk, Bartosz; Minku, Leandro L.; Gama, Joao; Stefanowski, Jerzy; Wozniak, MichalJournal Article
21-Jul-2015Emergent stem cell homeostasis in the C. elegans germline is revealed by hybrid modeling.Hall, B. A.; Piterman, Nir; Hajnal, A.; Fisher, J.Journal Article
22-Nov-2016Temperature aware online algorithms for minimizing flow timeBirks, Martin; Fung, Stanley P. Y.Journal Article
Jul-2015VOML: A Framework for Modelling Virtual Organizations and Virtual Breeding EnvironmentRajper, N. J.; Reiff-Marganiec, StephanJournal Article
2-Oct-2015Relating two automata-based models of orchestration and choreographyBasile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.Journal Article
28-Dec-2016Which Models of the Past Are Relevant to the Present? A software effort estimation approach to exploiting useful past modelsMinku, Leandro L.; Yao, X.Journal Article
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 386
 next >