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

Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.最新文献

筛选
英文 中文
Migration of mobile agents in ad-hoc, wireless networks 移动代理在自组织无线网络中的迁移
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316743
Nikos Migas, W. Buchanan, Kevin A. McArtney
{"title":"Migration of mobile agents in ad-hoc, wireless networks","authors":"Nikos Migas, W. Buchanan, Kevin A. McArtney","doi":"10.1109/ECBS.2004.1316743","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316743","url":null,"abstract":"This paper focuses on the design and development of a novel architecture called MARIAN, which utilises static agents, mobile agents, and also a hybrid approach, in order to perform routing, network discovery, and automatic network reconfiguration, in wireless ad-hoc networks. The paper shows that, in most cases, the static agent approach is faster than the mobile agent approach in retrieving data from a wireless remote database. However, if the amount of data to be retrieved is relatively large, such as in the gathering of data for routing information, the mobile agents are more capable of filtering data according to the required preferences. It also shows that the time taken to gather routing information can be significantly reduced using a mobile agent approach, as compared with the static agent approach.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123620280","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}
引用次数: 17
Network virtual laboratory for external devices programming 网络虚拟实验室外部设备编程
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316711
R. Klempous, J. Nikodem, T. Walkowiak, J. Rozenblit
{"title":"Network virtual laboratory for external devices programming","authors":"R. Klempous, J. Nikodem, T. Walkowiak, J. Rozenblit","doi":"10.1109/ECBS.2004.1316711","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316711","url":null,"abstract":"The paper describes an approach to replace traditional computer laboratories by Internet virtual ones. The purpose of this laboratory is to make available advanced learning contents in a network environment. Devices available for students are fully simulated by computers. Furthermore, remote access to programming environment is implemented, which gives the user an ability to write programs controlling a virtual device. The paper describes all elements of this system.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116245976","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
Contracts and games in controller synthesis for discrete systems 离散系统控制器综合中的契约与对策
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316713
R. Back, C. Seceleanu
{"title":"Contracts and games in controller synthesis for discrete systems","authors":"R. Back, C. Seceleanu","doi":"10.1109/ECBS.2004.1316713","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316713","url":null,"abstract":"This study proposes a method for constructing reliable controllers for arbitrarily large discrete systems. The controller is synthesized by finding a winning strategy for specific games defined by contracts. The discrete system model is an action system, and the requirement is a temporal property. We use the extended action system notation that allows both angelic and demonic nondeterminism, such that the game reduces to a competition between the angel, that is, the controller, and the demon, that is, the plant, which try to prevent each other from achieving their respective goals. If the synthesis is possible, that is, if the angel has a way to enforce the required property, the process ends with finding the winning strategy of the angel, by propagating backwards the computed precondition of the demon, with respect to that property. This technique guarantees the correctness of the derived program. We illustrate our method on a producer-consumer application.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115740541","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
Asteroid exploration with autonomic systems 用自主系统探索小行星
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316737
W. Truszkowski, J. Rash, C. Rouff, M. Hinchey
{"title":"Asteroid exploration with autonomic systems","authors":"W. Truszkowski, J. Rash, C. Rouff, M. Hinchey","doi":"10.1109/ECBS.2004.1316737","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316737","url":null,"abstract":"NASA is studying advanced technologies for a future robotic exploration mission to the asteroid belt. The prospective ANTS (Autonomous Nano Technology Swarm) mission comprises autonomous agents including \"worker\" agents (small spacecraft) designed to cooperate in asteroid exploration under the overall authority of at least one \"ruler\" agent (a larger spacecraft) whose goal is to cause science data to be returned to Earth. The ANTS team (ruler plus workers and messenger agents), but not necessarily any individual on the team, exhibit behaviors that qualify it as an autonomic system, where an autonomic system is defined as a system that self-reconfigures, self-optimizes, self-heals, and self-protects. Autonomic system concepts lead naturally to realistic, scalable architectures rich in capabilities and behaviors. In-depth consideration of a major mission like ANTS in terms of autonomic systems brings new insights into alternative definitions of autonomic behavior. This paper gives an overview of the ANTS mission and discusses the autonomic properties of the mission.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129572762","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}
引用次数: 42
Suffix caching techniques of streaming media based on batch patching 基于批处理补丁的流媒体后缀缓存技术
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316687
Cai Qingsong, Zimu Li, Jianping Hu
{"title":"Suffix caching techniques of streaming media based on batch patching","authors":"Cai Qingsong, Zimu Li, Jianping Hu","doi":"10.1109/ECBS.2004.1316687","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316687","url":null,"abstract":"We propose two dynamic caching schemes of media suffix based on recently presented optimized batch patching (OBP), IC-BP and PA-BP, to alleviate the over-consumption of backbone bandwidth in media streaming systems, and derived the required average bandwidth, average server channels used and the maximum cache capacity of the respective scheme when dealing with an unique media object. We also analyzed the aggregate delivery cost of the above schemes by defining a simple cost function, the results showed that both schemes significantly reduce the backbone bandwidth consumption and the server load and thus the delivery cost is saved, while PA-BP outperforms IC-BP with the lowest cost in the three schemes in that it reduces the patch traffic by using an additional buffer to pre-buffer the incoming data in case requests arrived in the current batch interval and therefore save more transmission cost than IC-BP.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130154925","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 model-based self-adaptive approach to image processing 一种基于模型的自适应图像处理方法
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316732
J. Nichols, T. Bapty
{"title":"A model-based self-adaptive approach to image processing","authors":"J. Nichols, T. Bapty","doi":"10.1109/ECBS.2004.1316732","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316732","url":null,"abstract":"Implementing image-processing systems can require significant effort and resources due to information volume and algorithm complexity. Model integrated computing (MIC) based image processing systems show promise in supporting solutions of these complex problems. While MIC has contributed to the advancement of performing complex image processing tasks on parallel-embedded systems, it has not addressed a challenging class of algorithms that adapt the image-processing algorithm based on the information or state of the image processing system. This proposed effort addresses creating an adaptive image-processing environment based on MIC that allows solutions of complex image processing problems to be built and executed rapidly. This effort involves creating a new modeling representation for image processing adaptation mechanisms. The proposed MIC-based adaptive image-processing environment generates a solution given the modeling constraints and executes it on a number of hardware architectures.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"165 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122073553","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
An explicit definition of connectors for component-based software architecture 基于组件的软件体系结构的连接器的显式定义
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316681
M. Oussalah, A. Smeda, T. Khammaci
{"title":"An explicit definition of connectors for component-based software architecture","authors":"M. Oussalah, A. Smeda, T. Khammaci","doi":"10.1109/ECBS.2004.1316681","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316681","url":null,"abstract":"Architecture description languages (ADL) describe systems as a collection of components that interact with each other using connectors. They define components explicitly, however they leave the definition of interactions implicit. Interactions are defined through include files and import and export statements (the connectors are buried inside the components). This implicitly of describing interactions (connectors) makes it difficult to build heterogeneous component-based systems that provide complex functionalities and enroll in complex relations. In this article we present an approach to model and to describe the architecture of component-based systems. It defines connectors as first-class entities. Using this approach one can evolve and reuse not only components but also connectors. We also present some operational mechanisms to permit connectors to be redefined and reused effectively.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"365 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115902012","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}
引用次数: 45
Advanced Bayesian optimization algorithms applied in decomposition problems 高级贝叶斯优化算法在分解问题中的应用
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316688
J. Schwarz, Jiri Ocenasek, J. Jaros
{"title":"Advanced Bayesian optimization algorithms applied in decomposition problems","authors":"J. Schwarz, Jiri Ocenasek, J. Jaros","doi":"10.1109/ECBS.2004.1316688","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316688","url":null,"abstract":"We deal with the usage of Bayesian optimization algorithm (BOA) and its advanced variants for solving complex NP-complete combinatorial optimization problems. We focus on the hypergraph-partitioning problem and multiprocessor scheduling problem, which belong to the class of frequently solved decomposition tasks. One of the goals is to use these problems to experimentally compare the performance of the recently proposed Mixed Bayesian optimization algorithm (MBOA) with the performance of several other evolutionary algorithms based on the estimation and sampling of probabilistic model. We also propose the utilization of prior knowledge about the structure of hypergraphs and task graphs to increase the convergence speed and the quality of solutions. The performance of knowledge based MBOA (KMBOA) algorithms on the multiprocessor scheduling problem is empirically investigated and confirmed.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"465 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116387089","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}
引用次数: 2
Validation of reactive embedded systems against temporal requirements 根据时间需求验证响应式嵌入式系统
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316694
J. Strug, S. Deniziak, K. Sapiecha
{"title":"Validation of reactive embedded systems against temporal requirements","authors":"J. Strug, S. Deniziak, K. Sapiecha","doi":"10.1109/ECBS.2004.1316694","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316694","url":null,"abstract":"Efficient methods of automatic generation of test scenarios to validate a system against functional requirements have already been developed. However, there are no such satisfactory methods as far as temporal requirements are concerned. A method of automatic generation of test scenarios for verification of time constraints for reactive embedded systems is presented.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125480941","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}
引用次数: 8
Tool support for DFD-UML model-based transformations 对基于DFD-UML模型的转换的工具支持
Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004. Pub Date : 2004-05-24 DOI: 10.1109/ECBS.2004.1316723
D. Truscan, J. Fernandes, J. Lilius
{"title":"Tool support for DFD-UML model-based transformations","authors":"D. Truscan, J. Fernandes, J. Lilius","doi":"10.1109/ECBS.2004.1316723","DOIUrl":"https://doi.org/10.1109/ECBS.2004.1316723","url":null,"abstract":"This paper presents a model-based approach that combines the data-flow and object-oriented computing paradigms to model embedded systems. The rationale behind the approach is that both views are important for modelling purposes in embedded systems environments, and thus a combined and integrated usage is not only useful, but also fundamental for developing complex systems. We also show that by using models we are able to implement automated transformations between different views of the system under design. We exemplify the approach with an IPv6 router case study.","PeriodicalId":137219,"journal":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","volume":"62 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120863870","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}
引用次数: 22
首页 上一页 下一页 尾页
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学术官方微信