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

Third International Conference on Systems (icons 2008)最新文献

筛选
英文 中文
Derivation of Tests from Timed Specifications According to Different Coverage Criteria 根据不同的覆盖标准从定时规格中推导测试
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.33
Mercedes G. Merayo, M. Núñez
{"title":"Derivation of Tests from Timed Specifications According to Different Coverage Criteria","authors":"Mercedes G. Merayo, M. Núñez","doi":"10.1109/ICONS.2008.33","DOIUrl":"https://doi.org/10.1109/ICONS.2008.33","url":null,"abstract":"The main goal of this paper is to provide an algorithm to derive finite test suites, from timed specifications, according to a given coverage criterium. First, we introduce a timed extension of the finite state machines model. We consider that (output) actions take time to be performed. In addition to present our formalism, we develop a testing theory. Thus, we introduce a notion of timed test and define how to apply tests to implementations under test.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123700240","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}
引用次数: 0
An Evaluation of QoS Management Approaches in Real-Time Databases 实时数据库中QoS管理方法的评价
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.69
Salwa M'barek, L. Baccouche, H. Ghézala
{"title":"An Evaluation of QoS Management Approaches in Real-Time Databases","authors":"Salwa M'barek, L. Baccouche, H. Ghézala","doi":"10.1109/ICONS.2008.69","DOIUrl":"https://doi.org/10.1109/ICONS.2008.69","url":null,"abstract":"In this paper we propose an evaluation model of QoS (Quality of Service) management approaches in real time database management systems (RTDBMS). In our model we define three evaluation levels: Models, Parameters and Policies. Each level is composed by a set of evaluation criteria. Our model is illustrated by an evaluation study of principale existing approaches of QoS management in RTDBMS. We aim to help designers of real time database management systems to choose the most appropriate QoS management approach corresponding to their real time application requirements.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129743815","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
Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems 汽车系统时间触发协议的建模与分析
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.11
Bo Zhang
{"title":"Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems","authors":"Bo Zhang","doi":"10.1109/ICONS.2008.11","DOIUrl":"https://doi.org/10.1109/ICONS.2008.11","url":null,"abstract":"One of the distinguished features of a time-triggered communication protocol is that activities in the system are triggered by the passage of time, and the system time schedule is deterministic. Motivated by this property of a time-triggered protocol, we propose the synchronous timed streams concept, which can be viewed as an extension of the timed streams concept in the FOCUS modeling language. We show how the synchronous timed streams concept can effectively capture the essential communication mechanism of the FlexRay communication protocol - a time-triggered communication protocol for automotive systems.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124655467","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}
引用次数: 0
Analysis of MR Images Deformed by Magnetic Implants 磁性植入物变形的MR图像分析
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.19
K. Bartusek, Z. Smékal, E. Gescheidtová
{"title":"Analysis of MR Images Deformed by Magnetic Implants","authors":"K. Bartusek, Z. Smékal, E. Gescheidtová","doi":"10.1109/ICONS.2008.19","DOIUrl":"https://doi.org/10.1109/ICONS.2008.19","url":null,"abstract":"Electrically and magnetically conducting materials found in the human body cause major deformations in images obtained by magnetic resonance imaging (MRI). To study the deformations and to develop new MR methods with these deformations suppressed, a method for measuring magnetic susceptibility has been designed for samples that do not produce MR signals. In the paper, a method is described for processing the phase image being measured, in order to greatly eliminate systematic errors in the MR measurement of magnetic susceptibility and to calculate it.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126746623","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}
引用次数: 0
Geometric Visualization: How to Acquire It Using Dynamic Geometry Systems? 几何可视化:如何使用动态几何系统获得它?
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.63
Cabral Lima, G. Alves, Adriana Soares
{"title":"Geometric Visualization: How to Acquire It Using Dynamic Geometry Systems?","authors":"Cabral Lima, G. Alves, Adriana Soares","doi":"10.1109/ICONS.2008.63","DOIUrl":"https://doi.org/10.1109/ICONS.2008.63","url":null,"abstract":"Teaching/learning geometry is arduous for people with visualization deficiencies. We present here our recent research concerning dynamic geometry systems and their influence in learners' mental representations of geometric objects: how the comprehension of concepts in geometry can be improved. Our psychological supports are PIAGET and VYGOTSKY researches, and our mathematical support is the VAN HIELE 's model, which deals with geometric reasoning. We also used some theories from problem resolution and knowledge representation, mainly the ones commonly used by computer and cognitive scientists. In order to evaluate our research we developed two experimental procedures: 1. with naif learners, exploring the content of triangles: classifications, sides, etc; 2. with advanced learners, investigating contents, volume calculations, and formula deductions using the CAVALIERI's principle. The results show that introducing dynamic geometry systems in these processes has improved learners' performances on visualization of geometric objects and comprehension of geometric concepts.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123170240","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
Design of Phase Locked-Loop for Very Slow Sine-Wave Signals 极慢正弦波信号的锁相环设计
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.70
J. Haze, R. Vrba, R. Prokop
{"title":"Design of Phase Locked-Loop for Very Slow Sine-Wave Signals","authors":"J. Haze, R. Vrba, R. Prokop","doi":"10.1109/ICONS.2008.70","DOIUrl":"https://doi.org/10.1109/ICONS.2008.70","url":null,"abstract":"The paper describes the design procedure of phase-locked loop (PLL). This PLL is used in measurement chain with pressure sensor and band-pass sigma-delta modulator to synchronize the input slow sine-wave signal from sensor with driving clock (signal from PLL) of modulator. The frequency of input sine-wave signal is 15,625 kHz. The PLL output (voltage controlled-oscillator) has to generate 62,5 kHz square driving signal. The paper shows design process of most important stages in CMOS 0.7 mum AMIS technology and it also presents simulation results, which confirm the design process of these blocks.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127433473","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}
引用次数: 0
Meta-Design Support for Safe and Secure Networked Embedded Systems 安全网络嵌入式系统的元设计支持
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.52
M. Svéda, R. Vrba
{"title":"Meta-Design Support for Safe and Secure Networked Embedded Systems","authors":"M. Svéda, R. Vrba","doi":"10.1109/ICONS.2008.52","DOIUrl":"https://doi.org/10.1109/ICONS.2008.52","url":null,"abstract":"This paper presents principles of meta-design support for end-user development of safe and secure embedded system networking. The presented approach offers a reusable framework for Internet-based embedded system applications. The framework provides a development environment kernel that can be adapted for various safety/security critical embedded system application domains. It stems from the IEEE 1451.1 smart transducer interface standard that provides an object-based networking model mediating efficient and unified access to distributed components through both wired and wireless networks. The paper discusses this framework not only from the viewpoint of framework builders, but also end-user developers. In this context, it demonstrates how to use that approach for a safety and security-critical application with Internet and ZigBee.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126754582","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
Analysis of Hybrid Systems Using HySAT 混合动力系统的HySAT分析
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.17
Christian Herde, Andreas Eggers, M. Fränzle, Tino Teige
{"title":"Analysis of Hybrid Systems Using HySAT","authors":"Christian Herde, Andreas Eggers, M. Fränzle, Tino Teige","doi":"10.1109/ICONS.2008.17","DOIUrl":"https://doi.org/10.1109/ICONS.2008.17","url":null,"abstract":"In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a tightly integrated bounded model checker for hybrid discrete-continuous systems which - in contrast to many other solvers - is not confined to linear arithmetic, but can also deal with nonlinear constraints involving transcendental functions. Based on a controller for train separation implementing a \"moving block\" interlocking scheme in the forthcoming European Train Control System Level 3, we exemplify the usage of the tool over the whole cycle from encoding a hybrid system to interpreting the results.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130033359","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}
引用次数: 47
Audio Digital Watermarking Algorithm Based on SVD in MCLT Domain 基于MCLT域SVD的音频数字水印算法
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.21
R. Zezula, J. Misurec
{"title":"Audio Digital Watermarking Algorithm Based on SVD in MCLT Domain","authors":"R. Zezula, J. Misurec","doi":"10.1109/ICONS.2008.21","DOIUrl":"https://doi.org/10.1109/ICONS.2008.21","url":null,"abstract":"We present a digital audio signal watermarking method based on singular value decomposition, which works in the transform domain, especially in the modulated complex lapped transform (MCLT) domain. This method does not require the original audio signal for watermark extraction. The experimental test shows much robustness as regards manipulation during common audio signal processing.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"189 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127317856","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
Developing Virtual Heritage Application with 3D Collaborative Virtual Environments and Mobile Devices in a Multi-cultural Team: Experiences and Challenges 在多元文化团队中使用3D协作虚拟环境和移动设备开发虚拟遗产应用程序:经验和挑战
Third International Conference on Systems (icons 2008) Pub Date : 2008-04-13 DOI: 10.1109/ICONS.2008.54
E. Prasolova-Førland, T. Wyeld, A. Lindås
{"title":"Developing Virtual Heritage Application with 3D Collaborative Virtual Environments and Mobile Devices in a Multi-cultural Team: Experiences and Challenges","authors":"E. Prasolova-Førland, T. Wyeld, A. Lindås","doi":"10.1109/ICONS.2008.54","DOIUrl":"https://doi.org/10.1109/ICONS.2008.54","url":null,"abstract":"Until recently museums have been the sole repositories of an objective factual history. However, with the advent of online interactive media, there has been a shift to alternate forms of cultural exposition. This paper presents a project where 3D CVE is augmented with mobile devices in order to support a collaborative educational exploration of a famous historical site in Norway, where Battle of Stiklestad took place in 1030. This system can be used by both local and distant learning communities, working together towards a common goal. The paper presents a background for the project and describes the preliminary design. Finally, the paper discusses the challenges associated with developing educational augmented virtual heritage applications in a multicultural context.","PeriodicalId":127732,"journal":{"name":"Third International Conference on Systems (icons 2008)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131680965","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
首页 上一页 下一页 尾页
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学术官方微信
小红书