{"title":"Design and Evaluation of a Visual Formalism for Real Time Logics","authors":"M. Lusini, E. Vicario","doi":"10.1007/BFb0053504","DOIUrl":"https://doi.org/10.1007/BFb0053504","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"38 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":"133533152","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":"Agent-Based Data Services in Future IN-Platforms","authors":"S. Albayrak, J. Meinköhn","doi":"10.1007/BFb0053502","DOIUrl":"https://doi.org/10.1007/BFb0053502","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"17 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":"126551484","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":"Visualising the Behaviour of Intelligent Networks","authors":"C. Capellmann, Søren Christensen, U. Herzog","doi":"10.1007/BFb0053505","DOIUrl":"https://doi.org/10.1007/BFb0053505","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"19 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":"114974905","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":"Formal Methods and Customized Visualization: A Fruitful Symbiosis","authors":"T. Margaria, V. Braun","doi":"10.1007/BFb0053506","DOIUrl":"https://doi.org/10.1007/BFb0053506","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"135 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":"116700760","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":"Visualisation of Executable Formal Specifications for User Validation","authors":"M. B. Özcan, P. Parry, I. Morrey, J. Siddiqi","doi":"10.1007/BFb0053503","DOIUrl":"https://doi.org/10.1007/BFb0053503","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"15 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":"122061125","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":"A Mobile Broadband Service Switching Point: A New Network Element for Multimedia and Mobile Services","authors":"D. Blaiotta, L. Faglia, M. Varisco, L. Vezzoli","doi":"10.1007/BFb0053514","DOIUrl":"https://doi.org/10.1007/BFb0053514","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"19 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":"123427360","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":"A Study of Intelligent Multimedia Services over PSTNs and the Internet","authors":"L. Orozco-Barbosa, D. Makrakis, N. Georganas","doi":"10.1007/BFb0053510","DOIUrl":"https://doi.org/10.1007/BFb0053510","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"21 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":"133712910","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}
S. Handschuh, U. Lechner, D. Lincke, B. Schmid, P. Schubert, Dorian Selz, K. Stanoevska-Slabeva
{"title":"The NetAcademy - A New Concept for Online Publishing and Knowledge Management","authors":"S. Handschuh, U. Lechner, D. Lincke, B. Schmid, P. Schubert, Dorian Selz, K. Stanoevska-Slabeva","doi":"10.1007/BFb0053495","DOIUrl":"https://doi.org/10.1007/BFb0053495","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","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":"129030950","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":"'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony","authors":"P. Zave","doi":"10.1007/BFb0053493","DOIUrl":"https://doi.org/10.1007/BFb0053493","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"8 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":"124599656","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":"INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing","authors":"Hyunsook Do, S. Bae, Sangki Kim","doi":"10.1007/BFb0053500","DOIUrl":"https://doi.org/10.1007/BFb0053500","url":null,"abstract":"","PeriodicalId":403490,"journal":{"name":"Services and Visualization: Towards User-Friendly Design","volume":"28 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":"124952212","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}