{"title":"Analysing Protocol Stacks for Services","authors":"Han Gao, F. Nielson, H. R. Nielson","doi":"10.1007/978-3-642-20401-2_17","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_17","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131378706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Evaluating Service Level Agreements Using Observational Probes","authors":"Allan Clark, S. Gilmore","doi":"10.1007/978-3-642-20401-2_22","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_22","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127502336","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Bruni, H. Foster, Alberto Lluch-Lafuente, U. Montanari, E. Tuosto
{"title":"A Formal Support to Business and Architectural Design for Service-Oriented Systems","authors":"R. Bruni, H. Foster, Alberto Lluch-Lafuente, U. Montanari, E. Tuosto","doi":"10.1007/978-3-642-20401-2_7","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_7","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114168945","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Passage-End Analysis for Analysing Robot Movement","authors":"Allan Clark, A. Duguid, S. Gilmore","doi":"10.1007/978-3-642-20401-2_24","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_24","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116683231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
H. Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel
{"title":"Specification and Analysis of Dynamically-Reconfigurable Service Architectures","authors":"H. Foster, Arun Mukhija, David S. Rosenblum, Sebastián Uchitel","doi":"10.1007/978-3-642-20401-2_20","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_20","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121352563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
H. Foster, László Gönczy, N. Koch, Philip Mayer, C. Montangero, Dániel Varró
{"title":"UML Extensions for Service-Oriented Systems","authors":"H. Foster, László Gönczy, N. Koch, Philip Mayer, C. Montangero, Dániel Varró","doi":"10.1007/978-3-642-20401-2_4","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_4","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124381702","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Bruni, A. Corradini, F. Gadducci, Alberto Lluch-Lafuente, U. Montanari
{"title":"Hierarchical Models for Service-Oriented Systems","authors":"R. Bruni, A. Corradini, F. Gadducci, Alberto Lluch-Lafuente, U. Montanari","doi":"10.1007/978-3-642-20401-2_16","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_16","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129363822","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Introduction to the Sensoria Case Studies","authors":"Jan Elgner, S. Gnesi, N. Koch, Philip Mayer","doi":"10.1007/978-3-642-20401-2_3","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_3","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121327033","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"SoSL: A Service-Oriented Stochastic Logic","authors":"R. Nicola, D. Latella, M. Loreti, M. Massink","doi":"10.1007/978-3-642-20401-2_21","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_21","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115210048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Advanced Mechanisms for Service Composition, Query and Discovery","authors":"Michele Boreale, M. Bravetti","doi":"10.1007/978-3-642-20401-2_13","DOIUrl":"https://doi.org/10.1007/978-3-642-20401-2_13","url":null,"abstract":"","PeriodicalId":420695,"journal":{"name":"Results of the SENSORIA Project","volume":" 14","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113950258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}