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

Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.最新文献

筛选
英文 中文
Automatic support for verification of secure transactions in distributed environment using symbolic model checking 使用符号模型检查自动支持分布式环境中安全事务的验证
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938054
E. Di Sciascio, F. Donini, M. Mongiello, G. Piscitelli
{"title":"Automatic support for verification of secure transactions in distributed environment using symbolic model checking","authors":"E. Di Sciascio, F. Donini, M. Mongiello, G. Piscitelli","doi":"10.1109/ITI.2001.938054","DOIUrl":"https://doi.org/10.1109/ITI.2001.938054","url":null,"abstract":"Electronic commerce needs the aid of software tools to check the validity of business processes in order to fully automate the exchange of information through the network. Symbolic model checking has been used to formally verify specifications of secure transactions in a business-to-business system. The fundamental principles behind symbolic model checking are presented, along with techniques used to model mutual exclusion of processes and atomic transactions. The computational resources required to check the example process are presented, and faults detected in this process through symbolic verification are documented.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"293 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131991630","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
A comparison of the static task graph scheduling algorithms 静态任务图调度算法的比较
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.937995
J. Brest, V. Zumer
{"title":"A comparison of the static task graph scheduling algorithms","authors":"J. Brest, V. Zumer","doi":"10.1109/ITI.2001.937995","DOIUrl":"https://doi.org/10.1109/ITI.2001.937995","url":null,"abstract":"In this paper the new algorithm for static task graph scheduling on multiprocessor systems is proposed and a comparison with two algorithms known from the literature is presented. The comparison of the algorithms is made in terms of the completion times of resulting schedules using a prototype standard task graph set.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132251937","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
Uncertainty of multi-level systems of events 多层次事件系统的不确定性
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938053
K. Ziha
{"title":"Uncertainty of multi-level systems of events","authors":"K. Ziha","doi":"10.1109/ITI.2001.938053","DOIUrl":"https://doi.org/10.1109/ITI.2001.938053","url":null,"abstract":"The article presents probabilistic uncertainty modeling of multi-level systems of events, mutually linked by transitive events. A method for multi-level systems with potentials to emerge new functional states is suggested and the application is illustrated by a two-level example of systems pertinent to a game with a die and a coin. The presented procedure provides analogy to more complex transitive systems operating in uncertain circumstances with a redistribution of capabilities and demands in case of cascades of failures.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115526449","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
A hard real-time kernel for Motorola microcontrollers 用于摩托罗拉微控制器的硬实时内核
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938000
E. Mumolo, M. Nolich, Massimo Oss Noser
{"title":"A hard real-time kernel for Motorola microcontrollers","authors":"E. Mumolo, M. Nolich, Massimo Oss Noser","doi":"10.1109/ITI.2001.938000","DOIUrl":"https://doi.org/10.1109/ITI.2001.938000","url":null,"abstract":"This paper describes a real-time kernel for running embedded applications on a recent family of Motorola microcontrollers. Both periodic and aperiodic real-time tasks are managed, as well as non real-time tasks. The kernel has been called Yartos, and uses a hard real-time scheduling algorithm based on an EDF approach for the periodic task; aperiodic tasks are executed with a total bandwidth server.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125772276","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
Database of grammatical sentences of Croatian language 克罗地亚语语法句子数据库
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938051
B. Tepes, V. Mateljan
{"title":"Database of grammatical sentences of Croatian language","authors":"B. Tepes, V. Mateljan","doi":"10.1109/ITI.2001.938051","DOIUrl":"https://doi.org/10.1109/ITI.2001.938051","url":null,"abstract":"The paper describes work on a linguistic database of grammatical sentences of the Croatian language. In databases, sentences are shown as constituent structure trees, and words are shown with features and their values. The main project which is concerned with language databases is the Penn Treebank project of the Linguistic Data Consortium (A. Bias et al., 1995). The database is a result of theoretical research in the field of computational linguistics and its application in the Croatian language. The database of grammatical sentences of the Croatian language can also be accessed through the Internet.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127782891","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
MGP: a distributed, multi-platform, programming environment for real-time applications MGP:用于实时应用的分布式、多平台编程环境
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938057
E. Mumolo, S. Moratto, M. Nolich, G. Vercelli
{"title":"MGP: a distributed, multi-platform, programming environment for real-time applications","authors":"E. Mumolo, S. Moratto, M. Nolich, G. Vercelli","doi":"10.1109/ITI.2001.938057","DOIUrl":"https://doi.org/10.1109/ITI.2001.938057","url":null,"abstract":"The paper deals with protocols and architectures for a multi-platform distribution of real time applications. The main motivation for the work comes from a research project in robotics where different computers run distributed applications within a real time framework with different operating systems.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"182 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133406059","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 fuzzy-genetic approach for automatic tuning of a PID controller PID控制器的模糊遗传自整定方法
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938034
U. Chakraborty, R. Bandyopadhyay, D. Patranabis
{"title":"A fuzzy-genetic approach for automatic tuning of a PID controller","authors":"U. Chakraborty, R. Bandyopadhyay, D. Patranabis","doi":"10.1109/ITI.2001.938034","DOIUrl":"https://doi.org/10.1109/ITI.2001.938034","url":null,"abstract":"A novel method employing fuzzy logic and a genetic algorithm for automatic tuning of a Proportional Integral Derivative (PID) controller is presented. The technique adopted is based on the theory of dead-beat control. A fuzzy logic technique has been used to predict the controller output and the crisp consequent values of the rulebase on the Takagi-Sugeno model are optimized using a genetic algorithm. The proposition is an extension of the work by R. Bandyopadhyay and D. Patranabis (2001), where the rulebase was prepared based on the knowledge of process experts. Significant improvement has been obtained using a genetic algorithm by optimizing the crisp consequent values of the rulebase. As can be seen from the simulated results, the method shows substantial improvement over the controller tuned with the Ziegler-Nichols formula (J.G. Ziegler and N.B. Nichols, 1942) and the PID controller proposed by Bandyopadhyay and Patranabis.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"217 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115648283","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
The XML esperanto or Tower of Babel: do we speak the same XML? XML世界语还是巴别塔:我们说的是同一种XML吗?
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938020
N. Vrcek, D. Kermek
{"title":"The XML esperanto or Tower of Babel: do we speak the same XML?","authors":"N. Vrcek, D. Kermek","doi":"10.1109/ITI.2001.938020","DOIUrl":"https://doi.org/10.1109/ITI.2001.938020","url":null,"abstract":"Modern business relationships demand interoperability of various e-commerce applications using standardized protocols and formats for data interchange. A key factor for establishing seamless communication among enterprises is a common business vocabulary. The eXtensible Markup Language (XML) is one of the most promising standards for defining and naming data. XML is a Meta Language that allows each user to define the structure of the data relevant for a particular problem domain. However, XML is still an immature technology, which leads to problems regarding its deployment. We still do not have global agreement on the semantics and therefore each industry vertical has its own XML specification. The paper presents our approach to resolving the issue of heterogeneous XML semantics. We propose an object oriented approach and the use of standard libraries, which should present a common basis on which each new XML specification should be built.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126516470","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
Applying survival analysis for estimating and comparing flushing time variability 应用生存分析估算和比较冲洗时间变异性
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938030
S. Perić, B. Bašić, J. Gračan, A. Jazbec
{"title":"Applying survival analysis for estimating and comparing flushing time variability","authors":"S. Perić, B. Bašić, J. Gračan, A. Jazbec","doi":"10.1109/ITI.2001.938030","DOIUrl":"https://doi.org/10.1109/ITI.2001.938030","url":null,"abstract":"Survival analysis is class of statistical methods for studying the occurrence and timing of many different kinds of events. In this research we applied survival analysis for comparing and estimating flushing times of sixteen protrenances of Penduculate Oak (euercus Robur L.). Flushing time is a very important feature of the physiological character and it is known that later flushing Oak has some good properties that are preserved even when it is grown on non-native sites. The survival analysis showed significant difference in flushing time of sixteen provenances and based on these results some later flushing Oak provenances were determined.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"63 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130535318","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
General object-oriented framework for iterative optimization algorithms 通用的面向对象框架迭代优化算法
Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. Pub Date : 2001-06-19 DOI: 10.1109/ITI.2001.938045
Z. Vanjak, V. Mornar
{"title":"General object-oriented framework for iterative optimization algorithms","authors":"Z. Vanjak, V. Mornar","doi":"10.1109/ITI.2001.938045","DOIUrl":"https://doi.org/10.1109/ITI.2001.938045","url":null,"abstract":"It is usually impossible to exactly solve hard optimization problems. One is thus directed to iterative algorithms. In the implementation of these iterative algorithms, some common characteristics can be observed, which can be generalized in an object-oriented framework. This can significantly reduce the time needed for implementation of an iterative algorithm. This paper presents a class hierarchy, which can be used as an object-oriented framework for the solutions of iterative problems. Utilizing the options available in object-oriented languages, it separates the class interface from the implementation.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130198346","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
首页 上一页 下一页 尾页
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学术官方微信