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

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems最新文献

筛选
英文 中文
Supporting Customizable Architectural Design Decision Management 支持可定制的架构设计决策管理
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.32
Lianping Chen, M. Babar
{"title":"Supporting Customizable Architectural Design Decision Management","authors":"Lianping Chen, M. Babar","doi":"10.1109/ECBS.2010.32","DOIUrl":"https://doi.org/10.1109/ECBS.2010.32","url":null,"abstract":"When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakeholders. Achieving such understanding usually requires the use of ADD management tools. Most existing ADD management tools apply prescriptive ADD models and do not provide sufficient customizability. However, forcing architects to follow an ADD model that does not fit their specific needs can cause significant problems (e.g., extra cost is needed, and architects’ willingness and motivation can negatively be affected). This research project aims at solving this issue by developing a highly customizable solution, which can enable practitioners to define ADD models according to their preferences and working situations. The detailed needs for ADD model customization will be identified by multiple case studies and semi-structured interviews; the proposed solution will be evaluated using different empirical research methods.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120948805","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
3TZ Collaborative Team Environments Incorporating the Hybrid Holonic Architecture 结合混合全息架构的3TZ协作团队环境
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.42
Z. Chaczko, C. Chiu, R. Klempous, J. Nikodem
{"title":"3TZ Collaborative Team Environments Incorporating the Hybrid Holonic Architecture","authors":"Z. Chaczko, C. Chiu, R. Klempous, J. Nikodem","doi":"10.1109/ECBS.2010.42","DOIUrl":"https://doi.org/10.1109/ECBS.2010.42","url":null,"abstract":"The paper describes a business reengineering process (BPR) approach to address multi-timezone (3-timezone or 3TZ) collaborative teamwork environments by combining the Holonic architecture with the Zachman Metamodel Framework. While the use of collaborative project systems is not new, the methodology to share time resources from different timezones seeks to address pedagogical and engineering process concerns in team-based project development. The benefits of collaborative project management tools go beyond a uniform platform to deploy project resources, but to also enhance systemic processes and engineering practice. This facilitates team members to dedicate their time towards common work tasks, delineates individual and shared work packages, and improves student-tutor feedback techniques as teachers can actively monitor progress of development throughout the project lifecycle.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126083025","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}
引用次数: 1
Communication Modeling for System-Level Performance-Simulation 系统级性能仿真的通信建模
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.27
Heike S. Rolfs, A. Liehr, K. Buchenrieder
{"title":"Communication Modeling for System-Level Performance-Simulation","authors":"Heike S. Rolfs, A. Liehr, K. Buchenrieder","doi":"10.1109/ECBS.2010.27","DOIUrl":"https://doi.org/10.1109/ECBS.2010.27","url":null,"abstract":"Early in the design-cycle of hardware-systems, details about data-formats, interfaces and the behavior of system components are not available. Nonetheless, choices between design alternatives, depending on given constraints, must be made. To support this process, simulation-models are used to determine the system-performance. In this work, an approach for modeling communication-structures for an EQN-based method, as introduced in previous work, is given. The approach employs component patterns to reduce the complexity of interfaces, while easing the composition of highly performant systems. As we show with the example of a FlexRayTM-bus-model, the proposed method fosters the assembly of simulation-models from coarse grained system component patterns, while it still allows to obtain detailed performance simulation results. Despite a high abstraction level, the full functionality can be specified with the proposed approach. This paper provides the modeling of components with Extended Queuing Networks(EQN) and a discussion of a fully parameterizable FlexRayTM-bus-model, taken from the automotive domain.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126591794","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}
引用次数: 1
A Non-numerical Predictive Model for Asymmetric Analysis 非对称分析的非数值预测模型
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.44
Michael L. Valenzuela, Chuan Feng, P. Reddy, F. Momen, J. Rozenblit, B. T. Eyck, F. Szidarovszky
{"title":"A Non-numerical Predictive Model for Asymmetric Analysis","authors":"Michael L. Valenzuela, Chuan Feng, P. Reddy, F. Momen, J. Rozenblit, B. T. Eyck, F. Szidarovszky","doi":"10.1109/ECBS.2010.44","DOIUrl":"https://doi.org/10.1109/ECBS.2010.44","url":null,"abstract":"Predicting asymmetric threats (e.g., terrorist events) is becoming ever more important. Prior works have focused on tactical, statistical, and data-fusion systems. The thrust of our work has been the development of a non-numerical predictive model for amplifying intelligence analysts’ recognition of emergent threats. The intelligence community uses a Template schema for assessing courses of action. Our predictive model processes non-numerical data to arrive at automated assessment and confidence scores for these Templates. The predictive model is traceable, transparent, and utilizes Human-in-the-Loop data-fusion. For future work, this predictive model will be further enhanced with behavioral filtering. Behavioral filtering adjusts the assessment and confidence of the predictions by intelligently evaluating characteristic behavioral data. This non-numerical predictive model has been tested and verified in the Asymmetric Threat Response and Analysis Program (ATRAP).","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"2007 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125587057","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
Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing Technologies 使工程教育适应资源有限的中学:教学方法和计算技术
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.35
Mario Riojas, Susan Lysecky, J. Rozenblit
{"title":"Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing Technologies","authors":"Mario Riojas, Susan Lysecky, J. Rozenblit","doi":"10.1109/ECBS.2010.35","DOIUrl":"https://doi.org/10.1109/ECBS.2010.35","url":null,"abstract":"Middle school students are at a critical age where exposure to science, technology, engineering, and mathematics (STEM) fields can greatly impact their career goals. Unlike other STEM fields, many schools do not have the expertise or resources needed to acquire and utilize existing engineering education platforms. Thus, we have begun to investigate how to adapt proven interactive project-based learning techniques for resource-constrained middle school environments as well as evaluate interactive platforms or platform characteristics that can be adapted to ensure greater accessibility of these materials.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128589650","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}
引用次数: 1
Model-Based Testing Using System vs. Test Models - What Is the Difference? 使用系统和测试模型的基于模型的测试-有什么区别?
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.41
Q. A. Malik, A. Jääskeläinen, H. Virtanen, Mika Katara, Fredrik Abbors, D. Truscan, J. Lilius
{"title":"Model-Based Testing Using System vs. Test Models - What Is the Difference?","authors":"Q. A. Malik, A. Jääskeläinen, H. Virtanen, Mika Katara, Fredrik Abbors, D. Truscan, J. Lilius","doi":"10.1109/ECBS.2010.41","DOIUrl":"https://doi.org/10.1109/ECBS.2010.41","url":null,"abstract":"We discuss the differences between using system models and test models with respect to the model-based testing process. Although these two terms are usually used interchangeably, very little is known about the distinction between the two. System models describe internal behavior of the system under test while the test models contain the behavior from user’s or environment’s point of view. We describe how these two types of models are obtained and used throughout the model-based testing process and how they are related to each other. The discussion is based on our earlier experiences as well as on two case study examples from the telecommunication domain.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130735605","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
ECQL: A Query and Action Language for Model-Based Applications ECQL:用于基于模型的应用程序的查询和操作语言
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.40
Ulrich Krenn, Michael Thonhauser, Christian Kreiner
{"title":"ECQL: A Query and Action Language for Model-Based Applications","authors":"Ulrich Krenn, Michael Thonhauser, Christian Kreiner","doi":"10.1109/ECBS.2010.40","DOIUrl":"https://doi.org/10.1109/ECBS.2010.40","url":null,"abstract":"Modern distributed computer systems with mobile and embedded devices as first class citizens are formed from heterogeneous platforms. To support this heterogeneity along with adaptation of the system an approach for interpretation of domain specific models at runtime has been proposed with the concept of Model-Based Software Components (MBSC), separating the domain specific functionality from the current technical platform. This is achieved by the usage of different sets of high-level models. These sets are interpreted by a portable, plugin-extensible runtime environment, utilizing several instances of model-based containers (MCC) for models and their corresponding data. In this paper the design of a domain specific language is presented, enabling the specification of accessing and manipulating data entities provided by various MCCs used in the runtime architecture of a MBSC. For demonstration purposes the application of the various language elements is presented using a case study of an exemplary distributed pervasive system running in the business domain of logistics.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133916367","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
Modeling the Mediated Schema Constraints 中介模式约束的建模
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.52
M. Casanova, Tanara Lauschner, Luiz André Portes Paes Leme, K. Breitman, A. Furtado, V. Vidal
{"title":"Modeling the Mediated Schema Constraints","authors":"M. Casanova, Tanara Lauschner, Luiz André Portes Paes Leme, K. Breitman, A. Furtado, V. Vidal","doi":"10.1109/ECBS.2010.52","DOIUrl":"https://doi.org/10.1109/ECBS.2010.52","url":null,"abstract":"In this paper, we address the problem of modeling the constraints of a mediated schema. We argue that, from the point of view of an application that processes the results of queries defined over the mediated schema, the constraints should be modeled as the greatest lower bound of the constraints of the export schemas, after appropriate translation to a common vocabulary. This assures that the application will correctly interpret query results.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133350137","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
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System 面向Web服务系统中死锁预防方案的形式化建模与验证
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.48
Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
{"title":"Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System","authors":"Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li","doi":"10.1109/ECBS.2010.48","DOIUrl":"https://doi.org/10.1109/ECBS.2010.48","url":null,"abstract":"Competitions of shared web resources have been widely concerned today. Under the circumstances of networks, especially in distributed systems, central supervisor can hardly be implemented, which makes it more complicated to prevent deadlock problems. This paper describes the competitions of web services for shared web resources using CSP method. Deadlocks can be analyzed based on the formal model by means of the trace semantics. The capability of deadlock prevention solutions which have been applied in industry can be proved theoretically under this approach. Moreover, the FDR which is a model checking tool for CSP can be used to automate the verifications.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129237973","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
UAV Search: Maximizing Target Acquisition 无人机搜索:最大化目标获取
2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI: 10.1109/ECBS.2010.9
H. Al-Helal, J. Sprinkle
{"title":"UAV Search: Maximizing Target Acquisition","authors":"H. Al-Helal, J. Sprinkle","doi":"10.1109/ECBS.2010.9","DOIUrl":"https://doi.org/10.1109/ECBS.2010.9","url":null,"abstract":"In situations where a human operator is unable to perform tactical control of an unmanned aerial vehicle (UAV), it may be necessary to have the UAV make or suggest tactical decisions. The interaction of the UAV computers with those of the human decision makers requires that choices for the human decision maker be easy to interpret and intuitive to implement or approve. This paper provides closed-form solutions to maximize detection of a slow-moving ground target by a UAV. The output of these solutions is a height at which the UAV should fly in order to maximize probability of detection, which informs the operator whether a single vehicle is sufficient. We assume that the UAV can travel faster than the ground target with some bounded speed (but no certain direction). The ground target is detected when it is inside a field of view which is a function of the state of the UAV, so the controller for motion affects whether the target will be detected. We also provide avenues for future work where we consider the impact of results for multi-UAV search and alternative sensor accuracy models.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129258630","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}
引用次数: 15
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信