TWiki's Research/QAIS webThe Research/QAIS web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/Research/QAISCopyright 2020 by contributing authors2015-10-29T13:02:49ZPublicationshttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Publications2015-10-29T13:02:49ZPublications 2014 2015 Nuno Oliveira, Luís Soares Barbosa: Reasoning about software reconfigurations: The behavioural and structural perspectives. Science of Computer ... (last changed by AlexandraSilva)AlexandraSilvaWorkBenchhttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WorkBench2014-10-06T21:24:25ZGrant BI1 2012 PTDC/EIA CCO/122240/2010 UMINHO WP1 Calculating fault propagation in functional programs This site contains the experimental part of the homonym ... (last changed by JoseNunoOliveira)JoseNunoOliveiraBisimulationsInKAThttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/BisimulationsInKAT2013-11-08T00:51:13ZConstructing (Bi)simulations for KAT This page contains the source code of KAT Decider, a project which features the decision of language inclusion/equality between ... (last changed by RicardoAlmeida)RicardoAlmeidaWebPreferenceshttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebPreferences2013-10-15T16:52:20ZResearch/QAIS Web Preferences The following settings are web preferences of the Research/QAIS web. These preferences overwrite the site level preferences in ... (last changed by JoseFaria)JoseFariaWebSideBarhttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebSideBar2013-10-15T15:48:02ZOverview Home Project Description Team Research Team Job Opportunities Results Publications WorkBench (Bi)simulations in KAT ... (last changed by LuisSoaresBarbosa)LuisSoaresBarbosaWorkshopshttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Workshops2013-09-17T14:38:17ZWorkshops Workshop 0 : Braga, 17 October 2011, see program here. Workshop 1 : Braga, 16 17 September 2013. Workshop 2 : Lisbon, 15 16 September 2014 (dates ... (last changed by JoseNunoOliveira)JoseNunoOliveiraTeamhttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Team2013-09-17T14:31:47ZResearch Team Silva Alejandro Sanchez Ana Maldonado Elisabete Freire Nuno Oliveira Monteiro Barbosa Nuno Oliveira Daniel ... (last changed by JoseNunoOliveira)JoseNunoOliveiraWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebHome2012-09-07T22:13:03ZQuantitative analysis of interacting systems: foundations and algorithms Project Summary In recent years, there has been an increasing interest in studying the behavior ... (last changed by AlexandraSilva)AlexandraSilvaJobshttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/Jobs2012-01-06T17:07:59ZJob announcements None at the moment. (last changed by AlexandraSilva)AlexandraSilvaFctFormhttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/FctForm2012-01-06T16:19:20ZQuantitative analysis of interacting systems: foundations and algorithms Summary 5000 In recent years, there has been an increasing interest in studying the behavior ... (last changed by AlexandraSilva)AlexandraSilvaWebCsshttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebCss2012-01-06T13:09:55Z.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ... (last changed by AlexandraSilva)AlexandraSilvaWebStatisticshttp://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/WebStatistics2012-01-06T13:09:55ZStatistics for Research/QAIS Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by AlexandraSilva)AlexandraSilvaT4http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T42012-01-06T13:08:12ZT4 Case study: the ASK system The ASK system is a communication software product that acts as a mediator between service consumers and service providers, for instance ... (last changed by AlexandraSilva)AlexandraSilvaT5http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T52012-01-06T13:08:12ZT5 Application: a !QoS robust composition calculus for services This task aims at integrating the theoretical results obtained in T1 ad T2 with the team previous work ... (last changed by AlexandraSilva)AlexandraSilvaT1http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T12012-01-06T13:08:11ZT1 Uniform metric derivation for quantitative models of computation In order to study services from a quantitative perspective, there is a need to shift from classical ... (last changed by AlexandraSilva)AlexandraSilvaT3http://wiki.di.uminho.pt/twiki/bin/view/Research/QAIS/T32012-01-06T13:08:11ZT3: Computational Layer: algorithms Language equivalences of finite DAs and bisimilarity of finite LTSs can be respectively computed via the Myhill Nerode algorithm ... (last changed by AlexandraSilva)AlexandraSilva