首页 > 最新文献

29th Annual International Computer Software and Applications Conference (COMPSAC'05)最新文献

英文 中文
Gompertz software reliability model and its application Gompertz软件可靠性模型及其应用
Koji Ohishi, H. Okamura, T. Dohi
In this article, we propose a stochastic model called the Gompertz software reliability model based on the familiar non-homogeneous Poisson process. It is shown that the proposed model can be derived from the well-known statistical theory of extreme-value and has the quite similar asymptotic property to the classical Gompertz curve. In a numerical example with the software failure data observed in a real software development project, we apply the Gompertz software reliability model to assess the software reliability and to predict the number of initial fault contents. We empirically conclude that our new model may function better than the existing models and is attractive in terms of goodness-of-fit test based on information criteria and mean squared error.
本文提出了一种基于非齐次泊松过程的Gompertz软件可靠性随机模型。结果表明,该模型可由著名的极值统计理论导出,并具有与经典Gompertz曲线相当相似的渐近性质。以实际软件开发项目中的软件故障数据为例,应用Gompertz软件可靠性模型对软件的可靠性进行评估,并对初始故障内容的数量进行预测。我们的经验结论是,我们的新模型可能比现有模型更好,并且在基于信息标准和均方误差的拟合优度检验方面具有吸引力。
{"title":"Gompertz software reliability model and its application","authors":"Koji Ohishi, H. Okamura, T. Dohi","doi":"10.1109/COMPSAC.2005.82","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.82","url":null,"abstract":"In this article, we propose a stochastic model called the Gompertz software reliability model based on the familiar non-homogeneous Poisson process. It is shown that the proposed model can be derived from the well-known statistical theory of extreme-value and has the quite similar asymptotic property to the classical Gompertz curve. In a numerical example with the software failure data observed in a real software development project, we apply the Gompertz software reliability model to assess the software reliability and to predict the number of initial fault contents. We empirically conclude that our new model may function better than the existing models and is attractive in terms of goodness-of-fit test based on information criteria and mean squared error.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"480 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123394508","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
DIG: a tool for software process data extraction and grooming DIG:用于软件过程数据提取和梳理的工具
Scott D. Miller, A. Mathur, R. Decarlo
A data collection and grooming tool named DIG is reported. The tool allows the management of a software process to be able to extract data from a variety of project repositories, groom the data, and generate reports. The reports are aimed at assisting the management in the control of the software development process. DIG allows management to build a complete representation of the productivity data in order to better tease out the parameters and understand the causes of variation in the data. In addition, the data obtained and groomed by DIG may be used to calibrate and apply process control models.
报告了一种名为DIG的数据收集和整理工具。该工具允许软件过程的管理能够从各种项目存储库中提取数据,整理数据,并生成报告。这些报告旨在帮助管理人员控制软件开发过程。DIG允许管理层构建生产率数据的完整表示,以便更好地梳理参数并了解数据变化的原因。此外,DIG获得和整理的数据可用于校准和应用过程控制模型。
{"title":"DIG: a tool for software process data extraction and grooming","authors":"Scott D. Miller, A. Mathur, R. Decarlo","doi":"10.1109/COMPSAC.2005.70","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.70","url":null,"abstract":"A data collection and grooming tool named DIG is reported. The tool allows the management of a software process to be able to extract data from a variety of project repositories, groom the data, and generate reports. The reports are aimed at assisting the management in the control of the software development process. DIG allows management to build a complete representation of the productivity data in order to better tease out the parameters and understand the causes of variation in the data. In addition, the data obtained and groomed by DIG may be used to calibrate and apply process control models.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128319146","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
Using AOP to monitor and administer software for grid computing environments 使用AOP监视和管理网格计算环境中的软件
M. Grechanik, D. Perry, D. Batory
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monitoring and Administering computer Resources (MARS) in a distributed grid computing environment (i.e. a distributed environment for coordinated resource sharing and problem solving in dynamic, multi-institutional virtual organizations) is an important, expensive, and critical task. We present a novel solution based on applying crosscuts using binary rewriters and an event-based model that allows developers to create non-trivial MARS programs easily and uniformly. Our approach converts low-level API resource calls into system-wide events that MARS programs can monitor. This is accomplished by introducing advice that contains event-generating code at join points in programs that represent computer resources. We categorize low-level resource APIs by imposing a transactional metaphor to simplify the complexity of interactions between resources and to enable reasoning about MARS programs. We report both a case study and simulation that supports the viability of our approach.
监视是收集反映系统状态的测量值的任务。管理是控制和操纵计算机系统的任务的集合。在分布式网格计算环境(即在动态、多机构虚拟组织中协调资源共享和问题解决的分布式环境)中监控和管理计算机资源(MARS)是一项重要、昂贵和关键的任务。我们提出了一种新颖的解决方案,该解决方案基于使用二进制重写器和基于事件的模型应用横切,该模型允许开发人员轻松而统一地创建重要的MARS程序。我们的方法将低级API资源调用转换为MARS程序可以监视的系统范围事件。这是通过在表示计算机资源的程序连接点上引入包含事件生成代码的通知来实现的。我们通过强加事务隐喻来对低级资源api进行分类,以简化资源之间交互的复杂性,并支持对MARS程序的推理。我们报告了一个案例研究和模拟,支持我们的方法的可行性。
{"title":"Using AOP to monitor and administer software for grid computing environments","authors":"M. Grechanik, D. Perry, D. Batory","doi":"10.1109/COMPSAC.2005.167","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.167","url":null,"abstract":"Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monitoring and Administering computer Resources (MARS) in a distributed grid computing environment (i.e. a distributed environment for coordinated resource sharing and problem solving in dynamic, multi-institutional virtual organizations) is an important, expensive, and critical task. We present a novel solution based on applying crosscuts using binary rewriters and an event-based model that allows developers to create non-trivial MARS programs easily and uniformly. Our approach converts low-level API resource calls into system-wide events that MARS programs can monitor. This is accomplished by introducing advice that contains event-generating code at join points in programs that represent computer resources. We categorize low-level resource APIs by imposing a transactional metaphor to simplify the complexity of interactions between resources and to enable reasoning about MARS programs. We report both a case study and simulation that supports the viability of our approach.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126231290","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
Goal-oriented test data generation for programs with pointer variables 为带有指针变量的程序生成面向目标的测试数据
A. Gotlieb, Tristan Denmat, Bernard Botella
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs. goal-oriented methods). In both cases, several approaches based on constraint solving exist, but in the presence of pointer variables only path-oriented methods have been proposed. This paper proposes to extend an existing goal-oriented test data generation technique to deal with multi-level pointer variables. The approach exploits the results of an intraprocedural flow-sensitive points-to analysis to automatically generate goal-oriented test data at the unit testing level. Implementation is in progress and a few examples are presented.
自动测试数据生成导致了输入值的识别,在这个输入值上,一个选定的路径或者一个选定的分支在一个程序中被执行(面向路径的vs.面向目标的方法)。在这两种情况下,都存在几种基于约束求解的方法,但在指针变量存在的情况下,只提出了面向路径的方法。本文提出扩展现有的面向目标的测试数据生成技术来处理多级指针变量。该方法利用过程内流敏感点分析的结果,在单元测试级别自动生成面向目标的测试数据。实现正在进行中,并给出了几个示例。
{"title":"Goal-oriented test data generation for programs with pointer variables","authors":"A. Gotlieb, Tristan Denmat, Bernard Botella","doi":"10.1109/COMPSAC.2005.81","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.81","url":null,"abstract":"Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs. goal-oriented methods). In both cases, several approaches based on constraint solving exist, but in the presence of pointer variables only path-oriented methods have been proposed. This paper proposes to extend an existing goal-oriented test data generation technique to deal with multi-level pointer variables. The approach exploits the results of an intraprocedural flow-sensitive points-to analysis to automatically generate goal-oriented test data at the unit testing level. Implementation is in progress and a few examples are presented.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125171864","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}
引用次数: 13
A Web data extraction description language and its implementation 一种Web数据抽取描述语言及其实现
I-Chen Wu, J. Su, Loon-Been Chen
A data extraction model, named the browser-oriented data extraction (BODE) model, was proposed by I-Chen Wu et al. (2005) to extract Web contents with script functions. In this model, the system built on top of browsers accesses pages by simulating users' operations on browsers. Based on this model, this paper defines a scripting language, named the BODED (browser-oriented data extraction description) language, which instructs the system how to do data extraction. This paper proposes a technique, called indirect browser replication to implement a BODE system, and also optimize the performance of this technique.
Wu I-Chen等(2005)提出了一种使用脚本函数提取Web内容的数据提取模型,称为面向浏览器的数据提取(BODE)模型。在该模型中,建立在浏览器之上的系统通过模拟用户在浏览器上的操作来访问页面。在此模型的基础上,本文定义了一种脚本语言,称为BODED(面向浏览器的数据抽取描述语言),用于指导系统如何进行数据抽取。本文提出了一种实现BODE系统的间接浏览器复制技术,并对该技术的性能进行了优化。
{"title":"A Web data extraction description language and its implementation","authors":"I-Chen Wu, J. Su, Loon-Been Chen","doi":"10.1109/COMPSAC.2005.38","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.38","url":null,"abstract":"A data extraction model, named the browser-oriented data extraction (BODE) model, was proposed by I-Chen Wu et al. (2005) to extract Web contents with script functions. In this model, the system built on top of browsers accesses pages by simulating users' operations on browsers. Based on this model, this paper defines a scripting language, named the BODED (browser-oriented data extraction description) language, which instructs the system how to do data extraction. This paper proposes a technique, called indirect browser replication to implement a BODE system, and also optimize the performance of this technique.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130559063","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 extended approach to improving the semantic interoperation among reuse epositories 一种改进重用存储库之间语义互操作的扩展方法
Y. Pan, Lei Wang, Lu Zhang, Bing Xie, Fuqing Yang
Software reuse is widely believed as a feasible way to improve both the productivity and quality of software development. The developers must be capable to acquire enough desired components before developing with reuse. Many Internet-enabled reuse repositories exist to provide access to reusable resources. It is necessary to eliminate the semantic gaps of the repositories to enable users to access resources from multiple repositories via a single representation view. In some sense, the only usable information to mine the semantics of the terms representing the resources is the mutual components stored in the repositories. In this paper, the extended improved relevancy matching and ranking (EIRMR) method is proposed to enhance the semantic interoperability of reuse repositories, based on our previous work (IRMR) and the mutual components in the third-party repositories. Experimental results on the data sets from the real repositories demonstrated an improvement in terms of searching effectiveness.
软件重用被广泛认为是提高软件开发效率和质量的可行方法。在使用重用进行开发之前,开发人员必须能够获得足够的所需组件。存在许多支持internet的重用存储库,以提供对可重用资源的访问。有必要消除存储库的语义差距,使用户能够通过单个表示视图访问来自多个存储库的资源。在某种意义上,挖掘表示资源的术语语义的唯一可用信息是存储在存储库中的相互组件。本文在借鉴前人研究成果的基础上,结合第三方知识库中的相互构件,提出了扩展改进的关联匹配和排序方法(EIRMR)来增强可重用知识库的语义互操作性。在真实知识库的数据集上的实验结果表明,该方法在搜索效率方面有所提高。
{"title":"An extended approach to improving the semantic interoperation among reuse epositories","authors":"Y. Pan, Lei Wang, Lu Zhang, Bing Xie, Fuqing Yang","doi":"10.1109/COMPSAC.2005.45","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.45","url":null,"abstract":"Software reuse is widely believed as a feasible way to improve both the productivity and quality of software development. The developers must be capable to acquire enough desired components before developing with reuse. Many Internet-enabled reuse repositories exist to provide access to reusable resources. It is necessary to eliminate the semantic gaps of the repositories to enable users to access resources from multiple repositories via a single representation view. In some sense, the only usable information to mine the semantics of the terms representing the resources is the mutual components stored in the repositories. In this paper, the extended improved relevancy matching and ranking (EIRMR) method is proposed to enhance the semantic interoperability of reuse repositories, based on our previous work (IRMR) and the mutual components in the third-party repositories. Experimental results on the data sets from the real repositories demonstrated an improvement in terms of searching effectiveness.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"64 17","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134126902","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
Hybrid intelligent systems: selecting attributes for soft-computing analysis 混合智能系统:选择属性进行软计算分析
P. Pattaraintakorn, N. Cercone, K. Naruedomkul
It is difficult to provide significant insight into any hybrid intelligent system design. We offer an informative account of the basic ideas underlying hybrid intelligent systems. We propose a balanced approach to constructing a hybrid intelligent system for a medical domain, along with arguments in favor of this balance and mechanisms for achieving a proper balance. This first of a series of contributions to hybrid intelligent systems design focuses on selecting attributes for soft-computing analysis. One part of this first contribution in our system is developed. Two definitions, probe and probe reducts, are introduced. Our CDispro algorithm can produce the core attribute and reducts that are essential condition attributes in data sets. Our initial study tests data from the UCI repository and geriatric data from DalMedix. The performance and utility of generated reducts are evaluated by 3-fold cross-validation that illustrates reduced dimensionality and complexity of data sets and processes.
很难对任何混合智能系统的设计提供有意义的见解。我们提供了混合智能系统的基本思想的信息帐户。我们提出了一种平衡的方法来构建医疗领域的混合智能系统,以及支持这种平衡的论据和实现适当平衡的机制。这是对混合智能系统设计的一系列贡献中的第一个,重点是选择用于软计算分析的属性。在我们的系统中开发了第一个贡献的一部分。引入了探针和探针约简这两个定义。我们的CDispro算法可以生成核心属性和约简,这些属性是数据集中的基本条件属性。我们的初步研究测试了来自UCI知识库的数据和来自DalMedix的老年数据。生成约简的性能和效用通过3倍交叉验证进行评估,该交叉验证说明了数据集和过程的降维和复杂性。
{"title":"Hybrid intelligent systems: selecting attributes for soft-computing analysis","authors":"P. Pattaraintakorn, N. Cercone, K. Naruedomkul","doi":"10.1109/COMPSAC.2005.87","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.87","url":null,"abstract":"It is difficult to provide significant insight into any hybrid intelligent system design. We offer an informative account of the basic ideas underlying hybrid intelligent systems. We propose a balanced approach to constructing a hybrid intelligent system for a medical domain, along with arguments in favor of this balance and mechanisms for achieving a proper balance. This first of a series of contributions to hybrid intelligent systems design focuses on selecting attributes for soft-computing analysis. One part of this first contribution in our system is developed. Two definitions, probe and probe reducts, are introduced. Our CDispro algorithm can produce the core attribute and reducts that are essential condition attributes in data sets. Our initial study tests data from the UCI repository and geriatric data from DalMedix. The performance and utility of generated reducts are evaluated by 3-fold cross-validation that illustrates reduced dimensionality and complexity of data sets and processes.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132873007","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}
引用次数: 19
A dynamic context-conflict management scheme for group-aware ubiquitous computing environments 面向组感知泛在计算环境的动态上下文冲突管理方案
Insuk Park, Dongman Lee, S. Hyun
In this paper, we propose a context-conflict management scheme for group-aware ubiquitous computing environments that allows context-aware applications to serve multiple users without distracting and sacrificing each other. The proposed scheme can detect semantic conflicts without explicit descriptions of the conflicts between different applications. Conflicts are resolved by a dynamically generated adaptation policy based on the weight value of user preference on each service. Individual context-aware applications can be reused without modification since middleware components for the context-conflict management take charge of detecting and resolving conflicts. Thus, the complicated context-conflict situation becomes more transparent to application programmers.
在本文中,我们提出了一种适用于组感知普适性计算环境的上下文冲突管理方案,该方案允许上下文感知应用程序为多个用户服务,而不会分散和牺牲彼此。该方案可以检测语义冲突,而无需显式描述不同应用之间的冲突。冲突通过基于用户对每个服务的偏好权重值动态生成的适应策略来解决。由于用于上下文冲突管理的中间件组件负责检测和解决冲突,因此无需修改即可重用各个上下文感知的应用程序。因此,复杂的上下文冲突情况对应用程序程序员来说变得更加透明。
{"title":"A dynamic context-conflict management scheme for group-aware ubiquitous computing environments","authors":"Insuk Park, Dongman Lee, S. Hyun","doi":"10.1109/COMPSAC.2005.21","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.21","url":null,"abstract":"In this paper, we propose a context-conflict management scheme for group-aware ubiquitous computing environments that allows context-aware applications to serve multiple users without distracting and sacrificing each other. The proposed scheme can detect semantic conflicts without explicit descriptions of the conflicts between different applications. Conflicts are resolved by a dynamically generated adaptation policy based on the weight value of user preference on each service. Individual context-aware applications can be reused without modification since middleware components for the context-conflict management take charge of detecting and resolving conflicts. Thus, the complicated context-conflict situation becomes more transparent to application programmers.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115308149","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}
引用次数: 71
Intention scheduling for BDI agent systems BDI代理系统的意图调度
Zu-Nien Lin, Hsun-Jen Hsu, Feng-Jian Wang
BDI is one of the models in agent systems. Currently; most of BDI agents' researches are focused on the ability for agents to dynamically select plans to achieve a goal. There are fewer discussions on intention scheduling, the order in which the selected plans are executed. Agents must adapt to dynamical and unpredictable changes. Without a proper scheduling scheme, an agent may repeat unnecessary works, waste valuable resource or even fail the users' expect altogether. In this paper, we present an effective intention-scheduling scheme in BDI reasoning process.
BDI是智能体系统中的一种模型。目前;大多数BDI智能体的研究都集中在智能体动态选择计划以实现目标的能力上。较少讨论意图调度,即执行选定计划的顺序。代理必须适应动态的和不可预测的变化。如果没有合适的调度方案,代理可能会重复不必要的工作,浪费宝贵的资源,甚至完全达不到用户的期望。在BDI推理过程中,我们提出了一种有效的意图调度方案。
{"title":"Intention scheduling for BDI agent systems","authors":"Zu-Nien Lin, Hsun-Jen Hsu, Feng-Jian Wang","doi":"10.1109/ITCC.2005.177","DOIUrl":"https://doi.org/10.1109/ITCC.2005.177","url":null,"abstract":"BDI is one of the models in agent systems. Currently; most of BDI agents' researches are focused on the ability for agents to dynamically select plans to achieve a goal. There are fewer discussions on intention scheduling, the order in which the selected plans are executed. Agents must adapt to dynamical and unpredictable changes. Without a proper scheduling scheme, an agent may repeat unnecessary works, waste valuable resource or even fail the users' expect altogether. In this paper, we present an effective intention-scheduling scheme in BDI reasoning process.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124106487","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
Constraint violation detection: a fundamental part of software cybernetics 约束违例检测:软件控制论的一个基本部分
Qianxiang Wang
Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for detecting the presence of such events during execution. Here we focus on issues related to service level constraints including types of constraints, the runtime structure of constraints and the related entities. An experiment to assess the feasibility of the proposed approach is also reported.
对敏感事件的监控是控制软件行为的关键步骤。在软件部署之前指定一组足够的约束对于在执行期间检测此类事件的存在是必要的。这里我们关注与服务级别约束相关的问题,包括约束类型、约束的运行时结构和相关实体。本文还报道了一个实验来评估该方法的可行性。
{"title":"Constraint violation detection: a fundamental part of software cybernetics","authors":"Qianxiang Wang","doi":"10.1109/COMPSAC.2005.64","DOIUrl":"https://doi.org/10.1109/COMPSAC.2005.64","url":null,"abstract":"Monitoring of sensitive events is a key step for controlling the behavior of software. Specifying a sufficient set of constraints prior to software deployment is necessary for detecting the presence of such events during execution. Here we focus on issues related to service level constraints including types of constraints, the runtime structure of constraints and the related entities. An experiment to assess the feasibility of the proposed approach is also reported.","PeriodicalId":419267,"journal":{"name":"29th Annual International Computer Software and Applications Conference (COMPSAC'05)","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116371032","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
期刊
29th Annual International Computer Software and Applications Conference (COMPSAC'05)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1