Stefano Campanelli, Alessandro Falleni, F. Martinelli, M. Petrocchi, A. Vaccarelli
We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.
我们提出了一种电子投票协议的移动实现。我们还提供了一个形式化分析来验证系统的安全属性。
{"title":"Mobile Implementation and Formal Verification of an e-Voting System","authors":"Stefano Campanelli, Alessandro Falleni, F. Martinelli, M. Petrocchi, A. Vaccarelli","doi":"10.1109/ICIW.2008.77","DOIUrl":"https://doi.org/10.1109/ICIW.2008.77","url":null,"abstract":"We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"160 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131866638","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}
Process-based Web service composition is receiving significant momentum as an important strategy to allow enterprise collaboration. However the current Web service composition solutions are rather restricted and inflexible as they use a pre-defined model of the process environment. These solutions have assumed that the information in the models and consequently the compositions remain static and accurate throughout the service composition life cycle. The reflective framework presented here aims to improve the adaptability of BPEL based Web service composition. A meta-model was defined to represent the control and data flow of the composition model. To ensure the correctness of dynamic adaptation, a set of constrains and a verification algorithm were defined. A prototype adaptive service composition environment has been developed to implement our solution and demonstrate its effectiveness. In summary, it is stated that the reflective framework provides an considerable solution to the adaptive service composition without causing any control or dataflow errors.
{"title":"A Reflective Framework to Support Adaptive Service Composition under Correctness Constrains","authors":"Yanlong Zhai, H. Su, Shouyi Zhan","doi":"10.1109/ICIW.2008.25","DOIUrl":"https://doi.org/10.1109/ICIW.2008.25","url":null,"abstract":"Process-based Web service composition is receiving significant momentum as an important strategy to allow enterprise collaboration. However the current Web service composition solutions are rather restricted and inflexible as they use a pre-defined model of the process environment. These solutions have assumed that the information in the models and consequently the compositions remain static and accurate throughout the service composition life cycle. The reflective framework presented here aims to improve the adaptability of BPEL based Web service composition. A meta-model was defined to represent the control and data flow of the composition model. To ensure the correctness of dynamic adaptation, a set of constrains and a verification algorithm were defined. A prototype adaptive service composition environment has been developed to implement our solution and demonstrate its effectiveness. In summary, it is stated that the reflective framework provides an considerable solution to the adaptive service composition without causing any control or dataflow errors.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123619270","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}
Any Web service procurement involves complex negotiations on non-functional requirements in order to obtain an integrative solution for both the provider and consumer perspectives. Software that facilitates automated Web service procurement negotiations is valuable not only for the consumers and providers to continuously bargain for their customizations and tailor their offerings, but also to discover overlooked alternative solutions and to maintain documented rationales for future references and reuse. To date, software frameworks and mechanisms that provide flexible environments to support automated negotiations in web service procurement are lagging. This paper presents a tradeoff-based automated negotiation approach to support Web service procurement. The approach employs an iterative tradeoff mechanism for evaluating opponent's offers and generating counter-offers of mutual gain based on selected quality of service parameters. The paper presents the negotiation approach in details along with an illustrated case study of negotiation in Web service procurement for a medical insurance company.
{"title":"Automated Negotiations in Web Service Procurement","authors":"V. Patankar, R. Hewett","doi":"10.1109/ICIW.2008.102","DOIUrl":"https://doi.org/10.1109/ICIW.2008.102","url":null,"abstract":"Any Web service procurement involves complex negotiations on non-functional requirements in order to obtain an integrative solution for both the provider and consumer perspectives. Software that facilitates automated Web service procurement negotiations is valuable not only for the consumers and providers to continuously bargain for their customizations and tailor their offerings, but also to discover overlooked alternative solutions and to maintain documented rationales for future references and reuse. To date, software frameworks and mechanisms that provide flexible environments to support automated negotiations in web service procurement are lagging. This paper presents a tradeoff-based automated negotiation approach to support Web service procurement. The approach employs an iterative tradeoff mechanism for evaluating opponent's offers and generating counter-offers of mutual gain based on selected quality of service parameters. The paper presents the negotiation approach in details along with an illustrated case study of negotiation in Web service procurement for a medical insurance company.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122732468","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}
The conversion of informatics with communication technologies in the last twenty five years has greatly affected the media industry. Thus the technology for the distribution of journalistic information in various forms has become more easily available. This paper attempts to model cross media publishing. More specific it describes the steps in deploying a successful cross media publishing that can help a newspaper organization to adapt to the continuously changing newspaper market.
{"title":"Modeling Cross Media Publishing","authors":"A. Veglis","doi":"10.1109/ICIW.2008.22","DOIUrl":"https://doi.org/10.1109/ICIW.2008.22","url":null,"abstract":"The conversion of informatics with communication technologies in the last twenty five years has greatly affected the media industry. Thus the technology for the distribution of journalistic information in various forms has become more easily available. This paper attempts to model cross media publishing. More specific it describes the steps in deploying a successful cross media publishing that can help a newspaper organization to adapt to the continuously changing newspaper market.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121004023","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}
Toshiaki Suzuki, Mariko Yamada, Takehiro Urano, Keiro Muro, T. Odaka
A novel video system for providing personalized MPEG2 video content to each user is being developed. In this system, video servers multicast multi-angle video streams with meta-data (which describe the contents of the videos). The meta-data are created in relation to a "group of pictures" (GOP), which is capable of decoding itself without other video data. The gateway in the network produces a personalized video stream from multi-angle video streams according to the meta-data and a viewer's preference sent by the viewer. The gateway selects a video stream according to the GOP border from multi-angle video streams to satisfy the viewer's preference. It then sends the video stream to the viewer as one stream, even if it was created from multiple streams. The viewer can then watch a personalized video, which is created by connecting each scene without generating block-noise errors.
{"title":"Personalized MPEG2 Video-Data Transmission System","authors":"Toshiaki Suzuki, Mariko Yamada, Takehiro Urano, Keiro Muro, T. Odaka","doi":"10.1109/ICIW.2008.35","DOIUrl":"https://doi.org/10.1109/ICIW.2008.35","url":null,"abstract":"A novel video system for providing personalized MPEG2 video content to each user is being developed. In this system, video servers multicast multi-angle video streams with meta-data (which describe the contents of the videos). The meta-data are created in relation to a \"group of pictures\" (GOP), which is capable of decoding itself without other video data. The gateway in the network produces a personalized video stream from multi-angle video streams according to the meta-data and a viewer's preference sent by the viewer. The gateway selects a video stream according to the GOP border from multi-angle video streams to satisfy the viewer's preference. It then sends the video stream to the viewer as one stream, even if it was created from multiple streams. The viewer can then watch a personalized video, which is created by connecting each scene without generating block-noise errors.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127053358","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}
The use of virtual learning environments is more and more common as a support tool for classroom activities. In this case the objective of these environments is to provide pedagogic tools and methodologies to enhance the teaching-learning process. The main objective of this paper is to present the Dependence Map, a pedagogical tool that allows the teacher to plan a subject of study and its evaluation, based on educational aims, not on programmatic contents. Furthermore, this work presents a methodology, in which the Dependence Map is inserted, that includes the use of modern pedagogic theories. Also, the proposed methodology is being implemented in a software module under development, in order to be inserted in a VLE.
{"title":"Dependence Maps: A Methodology for Subject Planning and Learning Assessment in Virtual Learning Environments","authors":"R. W. Lima, S. Fialho","doi":"10.1109/ICIW.2008.61","DOIUrl":"https://doi.org/10.1109/ICIW.2008.61","url":null,"abstract":"The use of virtual learning environments is more and more common as a support tool for classroom activities. In this case the objective of these environments is to provide pedagogic tools and methodologies to enhance the teaching-learning process. The main objective of this paper is to present the Dependence Map, a pedagogical tool that allows the teacher to plan a subject of study and its evaluation, based on educational aims, not on programmatic contents. Furthermore, this work presents a methodology, in which the Dependence Map is inserted, that includes the use of modern pedagogic theories. Also, the proposed methodology is being implemented in a software module under development, in order to be inserted in a VLE.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125249964","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}
Web services lack the possibility to exchange first-class objects as parameters and results. In current SOA practices, one has to give up years of experience in object-oriented programming, and return to procedural programming, passing as parameters XML data rather than objects. We propose to tackle this problem with our WS-object model which, by transmitting methods in XQuery, as well as data in XML, strives to combine Web service calls with the power of object-oriented programming. Our concept reinterprets the basics of objects, state and behavior, within the XML world, and is based on the use of interfaces and their implementation by classes generated at run-time to convert WS-objects into native language objects that can then be used by server- and client-side programs. WS-objects simplify decoupling, enhance the confidentiality of data and make Web services more stable and resistant to changes. This paper introduces the WS-object concept and illustrates it with a first implementation in Java.
{"title":"WS-Objects: First-Class Objects as Web Service Parameters","authors":"Olena Rogovchenko, J. Malenfant","doi":"10.1109/ICIW.2008.53","DOIUrl":"https://doi.org/10.1109/ICIW.2008.53","url":null,"abstract":"Web services lack the possibility to exchange first-class objects as parameters and results. In current SOA practices, one has to give up years of experience in object-oriented programming, and return to procedural programming, passing as parameters XML data rather than objects. We propose to tackle this problem with our WS-object model which, by transmitting methods in XQuery, as well as data in XML, strives to combine Web service calls with the power of object-oriented programming. Our concept reinterprets the basics of objects, state and behavior, within the XML world, and is based on the use of interfaces and their implementation by classes generated at run-time to convert WS-objects into native language objects that can then be used by server- and client-side programs. WS-objects simplify decoupling, enhance the confidentiality of data and make Web services more stable and resistant to changes. This paper introduces the WS-object concept and illustrates it with a first implementation in Java.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130316172","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}
Recent adaptations of educational curricula to the European Higher Education Area (EHEA) enabled many education professionals to adopt new teaching methodologies into their daily practice. Although the transmission of the main theoretic and practical concepts of the subject in question must remain the main focus, the improvement of students' general skills claims for special attention not only in the EHEA but also with a view to business requirements. Besides, the mobility of teachers and students among European universities has increased notably, which is a very positive experience for both communities. In this regard, new educational alternatives have to be found for this purpose, not only to provide the possibility of studying a subject abroad, but also to improve cross-curricular capabilities. It is also a reality to be taken into account that an increasing number of students are already working in the industry while following up their studies. E-learning environments are the perfect answer to these requirements, where a varied range of activities and methodologies can be used for allowing to follow the subject virtually as well as promote general cross-curricular skills such as addressing an audience, team work and preparing documentation. In this sense this paper describes the author's experiences with e-learning environments in the situations described above, which have been carried out with positive results: students have improved their general cross- curricular skills and were able to follow the subject from outside the university campus.
{"title":"Experiences with Virtual Environments in the EHEA","authors":"Guadalupe Ortiz","doi":"10.1109/ICIW.2008.21","DOIUrl":"https://doi.org/10.1109/ICIW.2008.21","url":null,"abstract":"Recent adaptations of educational curricula to the European Higher Education Area (EHEA) enabled many education professionals to adopt new teaching methodologies into their daily practice. Although the transmission of the main theoretic and practical concepts of the subject in question must remain the main focus, the improvement of students' general skills claims for special attention not only in the EHEA but also with a view to business requirements. Besides, the mobility of teachers and students among European universities has increased notably, which is a very positive experience for both communities. In this regard, new educational alternatives have to be found for this purpose, not only to provide the possibility of studying a subject abroad, but also to improve cross-curricular capabilities. It is also a reality to be taken into account that an increasing number of students are already working in the industry while following up their studies. E-learning environments are the perfect answer to these requirements, where a varied range of activities and methodologies can be used for allowing to follow the subject virtually as well as promote general cross-curricular skills such as addressing an audience, team work and preparing documentation. In this sense this paper describes the author's experiences with e-learning environments in the situations described above, which have been carried out with positive results: students have improved their general cross- curricular skills and were able to follow the subject from outside the university campus.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132493239","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}
A significant fraction of Web data is available only for short periods of time. We consider methods to keep track and to record such dynamic information automatically. The main problems are to find adequate reload times for Web data in order to reduce network traffic, to improve the freshness of obtained data and to reduce the risk of loosing information. Previous approaches usually improve reload strategies for Web data by considering the change dynamics of pages, by modeling the behavior statistically and then by applying suitable reload strategies. Based on this approach we first give a precise definition of data changes on the Web. Page changes are described by a page decomposition which is based on the estimation of grammars. Based on this decomposition segments of Web pages are identified. The change behavior of individual segments is recorded and applied to optimize reload strategies. We show that the completeness of obtained data and the network traffic may be improved significantly by applying our new reload strategy.
{"title":"Web Contents Tracking by Learning of Page Grammars","authors":"Dirk Kukulenz, C. Reinke, N. Hoeller","doi":"10.1109/ICIW.2008.58","DOIUrl":"https://doi.org/10.1109/ICIW.2008.58","url":null,"abstract":"A significant fraction of Web data is available only for short periods of time. We consider methods to keep track and to record such dynamic information automatically. The main problems are to find adequate reload times for Web data in order to reduce network traffic, to improve the freshness of obtained data and to reduce the risk of loosing information. Previous approaches usually improve reload strategies for Web data by considering the change dynamics of pages, by modeling the behavior statistically and then by applying suitable reload strategies. Based on this approach we first give a precise definition of data changes on the Web. Page changes are described by a page decomposition which is based on the estimation of grammars. Based on this decomposition segments of Web pages are identified. The change behavior of individual segments is recorded and applied to optimize reload strategies. We show that the completeness of obtained data and the network traffic may be improved significantly by applying our new reload strategy.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128411428","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}
The ETIC scientific program aims to enhance insular tropical environment research contents from biologists to general public through information and communication Web technologies. In this frame, online multimedia databases are convenient Web applications that allow communities of practice in Biology for environmental protection to share different types of documents (text, photo, video, sound, etc.). But the way to design them needs to be adapted to researcher's practices, in order to be really attractive and useful. By applying a user-centered development process and an appropriate human resources project management based on a co-design platform, our team has been able to develop an online multimedia database that matches user's expectations. An important effort has been devoted to deliver a usable interface close to offline standard applications. Indeed, Web applications will have to extract themselves from Web interface rigidity without imposing users to download additional plugins. Moreover, interoperability between Web applications allowing the creation and the online modification of files stored in the multimedia database is also a priority challenge.
{"title":"Online Multimedia Database for Communities of Practice in Biology: A Real Use Challenge","authors":"Didier Sébastien, N. Conruyt","doi":"10.1109/ICIW.2008.115","DOIUrl":"https://doi.org/10.1109/ICIW.2008.115","url":null,"abstract":"The ETIC scientific program aims to enhance insular tropical environment research contents from biologists to general public through information and communication Web technologies. In this frame, online multimedia databases are convenient Web applications that allow communities of practice in Biology for environmental protection to share different types of documents (text, photo, video, sound, etc.). But the way to design them needs to be adapted to researcher's practices, in order to be really attractive and useful. By applying a user-centered development process and an appropriate human resources project management based on a co-design platform, our team has been able to develop an online multimedia database that matches user's expectations. An important effort has been devoted to deliver a usable interface close to offline standard applications. Indeed, Web applications will have to extract themselves from Web interface rigidity without imposing users to download additional plugins. Moreover, interoperability between Web applications allowing the creation and the online modification of files stored in the multimedia database is also a priority challenge.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134402266","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：