发布求助
文献互助 智能选刊 最新文献

2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)最新文献

筛选
英文 中文
Analysis of distributed multi-periodic systems to achieve consistent data matching 分析分布式多周期系统实现数据匹配一致性
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536799
Nadège Pontisso, P. Quéinnec, G. Padiou
{"title":"Analysis of distributed multi-periodic systems to achieve consistent data matching","authors":"Nadège Pontisso, P. Quéinnec, G. Padiou","doi":"10.1109/NOTERE.2010.5536799","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536799","url":null,"abstract":"Distributed real-time architecture of an embedded system is often described as a set of communicating components. Such a system is data flow (for its description) and time-triggered (for its execution). This work fits in with these problematics and focuses on the control of the time compatibility of a set of interdependent data used by the system components. The architecture of a component-based system forms a graph of communicating components, where more than one path can link two components. These paths may have different timing characteristics but the flows of information which transit on these paths may need to be adequately matched, so that a component uses inputs which all (directly or indirectly) depend on the same production step. In this paper, we define this temporal data-matching property, we show how to analyze the architecture to detect situations that cause data matching inconsistencies, and we describe an approach to manage data matching that uses queues to delay too fast paths and timestamps to recognize consistent data.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124109201","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}
引用次数: 7
Formal system-level design space exploration 正式的系统级设计空间探索
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536852
Daniel Knorreck, L. Apvrille, R. Pacalet
{"title":"Formal system-level design space exploration","authors":"Daniel Knorreck, L. Apvrille, R. Pacalet","doi":"10.1109/NOTERE.2010.5536852","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536852","url":null,"abstract":"The paper focuses on the formal aspects of the DIPLODOCUS environment. DIPLODOCUS is a UML profile intended for the modeling and verification of real-time and embedded applications meant to be executed on complex Systems-on-Chip. Application tasks and architectural elements (e.g., CPUs, bus, memories) are described with a UML-based language, using an open-source toolkit named TTool. Those descriptions may be automatically transformed into a formal hardware and software specification. From that specification, model-checking techniques may be applied to evaluate several properties of the system, e.g., safety, schedulability, and performance properties. The approach is exemplified with an MPEG2 decoding application.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123351191","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}
引用次数: 16
WSRD: A web services registry description WSRD: web服务注册中心描述
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536781
M. Sellami, Olfa Bouchaala, Walid Gaaloul, S. Tata
{"title":"WSRD: A web services registry description","authors":"M. Sellami, Olfa Bouchaala, Walid Gaaloul, S. Tata","doi":"10.1109/NOTERE.2010.5536781","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536781","url":null,"abstract":"Web services registries play an important role in service oriented applications. They constitute the market where services consumers go to search for a desired Web service. With the proliferation of Web services registries, finding an adequate registry has become a complex task for a service requester. In this paper we propose a semantic model to describe Web services registries (WSRD). WSRD descriptions are functionality-driven since they rely on the registry's Web services description. We also propose an approach for computing WSRD descriptions and mechanisms to handle their updates. Experimental evaluation shows that our approach is usable in realistic situations.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133644011","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}
引用次数: 9
Network service provisioning using system-level virtualization 使用系统级虚拟化提供网络服务
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536559
Ali Hamidi, H. Salimi, M. Sharifi
{"title":"Network service provisioning using system-level virtualization","authors":"Ali Hamidi, H. Salimi, M. Sharifi","doi":"10.1109/NOTERE.2010.5536559","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536559","url":null,"abstract":"This paper presents a transparent local acknowledgement network service using virtualization technology. Using this service, workstations in a reliable computer network can send and receive data without waifing tor acknowledgement packets from their remote peers. Instead, these packets are created locally by the proposed local network service. Most implementations of such network services either are embedded in application programs and libraries, such as TESLA, or change the protocol stack, requiring changes to the network module of the operating system Other solutions tor providing transparent network services that are based on virtualization, like VTL, are flawed with the extra overhead of hooking mechanisms at the user space and with the lack of support for dynamic configuration and arrangement of network services. To remove these flaws, we propose a new approach for implementing such transparent network services in the Xen virtual machine monitor in DomO. This way, there is no need to change and re-compile any application program or a guest operating system' s kernel. In addition, this approach does not suffer from the extra overhead of context switching between the user and the kernel spaces. A proof-of-concept of local acknowledgement network service has been implemented using this approach. The evaluation results show the feasibility of the creation and the dynamic administration of transparent network services in the kernel mode using the proposed approach. Results also show higher bandwidth when this service is used in reliable networks.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132805137","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}
引用次数: 4
What about collaboration in ubiquitous environments? 那么无处不在的环境中的协作呢?
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536749
Germán Sancho, I. Rodriguez, T. Villemur, S. Tazi
{"title":"What about collaboration in ubiquitous environments?","authors":"Germán Sancho, I. Rodriguez, T. Villemur, S. Tazi","doi":"10.1109/NOTERE.2010.5536749","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536749","url":null,"abstract":"Ubiquitous computing environments provide a wide range of new challenges and possibilities in Distributed Systems. Among these, collaborative activities involving several users present some complex issues. These activities are very dynamic and imply heterogeneous communications and devices, and therefore adaptive solutions are required. Moreover, context has to be taken into account in order to provide a satisfactory service. It is necessary to consider both high-level requirements and low-level constraints to adapt the system to context changes. This paper claims that collaborative applications for ubiquitous environments represent a very challenging and promising research field. It also proves the requirements of adaptability and context-awareness of such applications by exploring the state of the art in this field.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116593735","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}
引用次数: 11
Position paper: Advances in reconfigurable distributed real time embedded systems 意见书:可重构分布式实时嵌入式系统的进展
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536646
Fatma Krichen
{"title":"Position paper: Advances in reconfigurable distributed real time embedded systems","authors":"Fatma Krichen","doi":"10.1109/NOTERE.2010.5536646","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536646","url":null,"abstract":"A system is reconfigurable when it can modify its behavior or its architecture at runtime. The constant growth of the complexity in embedded systems, the variation of execution environment constraints and the evolution of user requirements make the reconfiguration more important and more difficult to achieve. The challenges concern as much the design model level as the runtime support level. These area involve widely diverse core expertise ranging from formal methods, system architecture, hardware design and software engineering. However, there is still a gap between levels involved in the development of these systems. This observation yield the following: we present the state of the art for the modeling and development of these systems through four classes of tools: component-based software engineering, technologies used to specify and configure embedded systems, frameworks and development processes.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121021345","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}
引用次数: 3
A context aware framework for services management in the transportation domain 用于传输领域服务管理的上下文感知框架
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536735
Mikael Desertot, S. Lecomte, Dana Popovici, Marie Thilliez, T. Delot
{"title":"A context aware framework for services management in the transportation domain","authors":"Mikael Desertot, S. Lecomte, Dana Popovici, Marie Thilliez, T. Delot","doi":"10.1109/NOTERE.2010.5536735","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536735","url":null,"abstract":"The transportation domain brings particular needs dealing with the specificities of the environment (highly mobile, distributed, unstable network connection, …). In this paper, we propose a dynamic adaptable framework responding to the needs of transportation's applicative services. Among the most important services we can name positioning, time or communication capabilities. To achieve both this flexibility and automate context adaptation, we rely on a Service Oriented architecture and experiment our proposition on the inter-vehicular communication system, VESPA. This framework is based on the use of context informations for the transportation domain.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117329795","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}
引用次数: 9
Towards anticipatory service composition in Ambient Intelligence 面向环境智能中的预见性服务构成
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536832
Yasmine Charif, Kostas Stathis, H. Mili
{"title":"Towards anticipatory service composition in Ambient Intelligence","authors":"Yasmine Charif, Kostas Stathis, H. Mili","doi":"10.1109/NOTERE.2010.5536832","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536832","url":null,"abstract":"Anticipatory cognitive mechanisms have been investigated so far in gaze control or in simple robot navigation. This is in order to build cognitive systems endowed with the ability to predict the outcome of their actions. However, research on the actual benefit of anticipatory behavior in Ambient Intelligence (AmI) for user assistance is still in its infancy. This paper proposes some use cases to illustrate the benefits of anticipatory service composition in AmI, highlights issues resulting from the incorporation of anticipation into ubiquitous environments, comes up with guideline principles and existing approaches that have shown promising results to address the identified challenges, and emphasizes the questions and issues that still need a suitable research program before they can be addressed.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115444205","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}
引用次数: 9
On resource management in heterogeneous wireless access networks application to automated highway systems 异构无线接入网资源管理在自动化公路系统中的应用
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536748
Mohamad El Masri, Slim Abdellatif, G. Juanole
{"title":"On resource management in heterogeneous wireless access networks application to automated highway systems","authors":"Mohamad El Masri, Slim Abdellatif, G. Juanole","doi":"10.1109/NOTERE.2010.5536748","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536748","url":null,"abstract":"This paper discusses a general solution to provide quality of service (QoS) in heterogeneous wireless networks. The mechanisms we mainly discuss in this paper is resource management in a WiMAX-WiFi heterogenous wireless network within the context of an automated highway system (AHS). We show how different mechanisms within each network can be combined in order to insure the required QoS.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128080409","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}
引用次数: 5
Behavioral modular description of fault tolerant distributed systems with AADL Behavioral Annex 基于AADL行为附件的容错分布式系统行为模块化描述
2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) Pub Date : 2010-08-03 DOI: 10.1109/NOTERE.2010.5536853
G. Lasnier, T. Robert, L. Pautet, F. Kordon
{"title":"Behavioral modular description of fault tolerant distributed systems with AADL Behavioral Annex","authors":"G. Lasnier, T. Robert, L. Pautet, F. Kordon","doi":"10.1109/NOTERE.2010.5536853","DOIUrl":"https://doi.org/10.1109/NOTERE.2010.5536853","url":null,"abstract":"AADL is an architecture description language intended for model-based engineering of high-integrity distributed systems. The AADL Behavior Annex (AADL-BA) is an extension allowing the refinement of behavioral aspects described through an AADL architectural description. When implementing Distributed Real-time Embedded system (DRE), fault tolerance concerns are integrated by applying replication patterns. We considered a simplified design of the primary backup replication pattern as a running example to analyze the modeling capabilities of AADL and its annex. Our contribution lies in the identification of the drawbacks and benefits of this modeling language for accurate description of the synchronization mechanisms integrated in this example.","PeriodicalId":431237,"journal":{"name":"2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128445297","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}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信