{"title":"Time Floating General Mutual Exclusion Constraints in Partial Observable Discrete Event Systems","authors":"Z. Achour, N. Rezg","doi":"10.1109/IRI.2006.252391","DOIUrl":"https://doi.org/10.1109/IRI.2006.252391","url":null,"abstract":"This paper addresses the design of a maximally permissive PN controller for the forbidden state problem of bounded Petri nets (PN) under partial observation. The controlled observer reachability graph of the controlled PN which represents the most permissive behavior with liveness requirement and uncontrollable/unobservable transitions is determined using the Ramadge-Wonham theory. A new class of timed constraints is introduced and then the theory of regions is used to generate a set of control places, if such a controller exists, to be added to the plant PN model","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"214 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117352350","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}
{"title":"Dynamic Adaptation of Software Component Structures","authors":"Gautier Bastide, A. Seriai, M. Oussalah","doi":"10.1109/IRI.2006.252448","DOIUrl":"https://doi.org/10.1109/IRI.2006.252448","url":null,"abstract":"We present in this paper an approach aiming at dynamically adapting a component structure while preserving its behavior and its services. Among the motivations of this kind of adaptation, we note its possible application to allow a dynamic redeployment of component services according to the available resources (e.g. CPU, memory). The run-time software component structural adaptation process is based on two phases. The first one consists in transforming this component by generating a dynamically adaptable component structure. This transformation is based on the analysis and the instrumentation of component code. The second phase of the adaptation process allows us to adapt the component dynamically by the reconfiguration of its internal structure","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123494947","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}
Kasturi Chatterjee, K. Saleem, Na Zhao, Min Chen, Shu‐Ching Chen, S. Hamid
{"title":"Modeling Methodology for Component Reuse and System Integration for Hurricane Loss Projection Application","authors":"Kasturi Chatterjee, K. Saleem, Na Zhao, Min Chen, Shu‐Ching Chen, S. Hamid","doi":"10.1109/IRI.2006.252388","DOIUrl":"https://doi.org/10.1109/IRI.2006.252388","url":null,"abstract":"Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts have been made to mitigate hurricane aftermath, by utilizing research and tools that can analyze hurricanes and estimate projected losses. The need for such research methodologies and tools stimulated the development of a multi-disciplinary cutting edge public hurricane model called public hurricane risk and insured loss projection model (PHRLM). The complex and diverse nature of the application raises the need for module abstraction, seamless integration and effective reusability to create a uniform generic environment. Providing efficient interaction between these complex multi-disciplinary modules using different abstractions, formalisms, data formats and communications and making each module transparent enough to be reusable becomes a complicated task. This paper presents a UML based formal modeling methodology, enabling component reuse and integration of the application","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125789307","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}
{"title":"Replacing full rectangles by dense rectangles: concept lattices and attribute implications","authors":"R. Belohlávek, Vilém Vychodil","doi":"10.1109/IRI.2006.252398","DOIUrl":"https://doi.org/10.1109/IRI.2006.252398","url":null,"abstract":"Maximal full rectangles in tabular data are useful in several areas of data engineering. This paper presents a survey of results in which we replace \"full rectangles\" by \"dense rectangles\". This way, we go from exact to approximate. We develop issues directly related to maximal dense rectangles: closure-like structures, concept lattices, attribute implications, a computationally tractable description of non-redundant bases of implications, and an algorithm for their computation. We present illustrative examples and results of experiments","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128519347","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}
{"title":"Empirical Study on Web Content Consistency","authors":"Chi-Hung Chi, Lin Liu, Choon-Keng Chua","doi":"10.1109/IRI.2006.252412","DOIUrl":"https://doi.org/10.1109/IRI.2006.252412","url":null,"abstract":"In this paper, we would like to perform detail analysis on the consistency situation of current Web content. Both data and the associated attributes of Web objects on replica/CDN (content delivery network) are monitored over the Internet and the correctness and appropriateness of various headers are discussed. It is found that there are lots of discrepancies in data object and attributes found by comparing the original copy and the retrieved copy of the content. This result is important to content delivery and distribution because incorrect headers can easily lead into wrong decision in network and content presentation related functions such as caching, content adaptation and personalization","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128571881","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}
Fabrice Alizon, Jyotirmaya Nanda, S. Shooter, T. Simpson
{"title":"Increasing Design Search Relevancy using Statistical Methods in Conjunction with Ontologies","authors":"Fabrice Alizon, Jyotirmaya Nanda, S. Shooter, T. Simpson","doi":"10.1109/IRI.2006.252424","DOIUrl":"https://doi.org/10.1109/IRI.2006.252424","url":null,"abstract":"In engineered products, one of the most critical business processes is managing and reusing product design information within a product and across a product family (PF). Reuse of existing component designs plays an important role in reducing product design lead-time while lowering cost and increasing quality. Towards this end we propose a ontology-based design search and reuse method that combines statistical methods with ontologies to increase the component design search relevancy when having existing product design repositories. This proposed ontology-based design search and reuse method is performed in three stages: (1) computation of statistical similarity between the desired design and existing designs, (2) efficiency assessment of the remaining component designs based on a predefined component ontology, and finally (3) configuration of the selected design(s) for reuse. This method searches and ranks existing component designs in a design repository using statistical similarity and/or uses ontologies to expand the design search. This method is illustrated with a case study involving single-use cameras","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128914273","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}
Christoph Breitschopf, Günther Blaschek, T. Scheidl
{"title":"A Comparison of Operator Selection Strategies in Evolutionary Optimization","authors":"Christoph Breitschopf, Günther Blaschek, T. Scheidl","doi":"10.1109/IRI.2006.252402","DOIUrl":"https://doi.org/10.1109/IRI.2006.252402","url":null,"abstract":"Evolutionary algorithms (EAs) are an effective paradigm for solving many types of optimization problems. They are flexible and can be adapted to new problem classes with little effort. EAs apply operators on the elements of a population. When multiple operators are involved, their distribution is based on fixed probabilities. EAs therefore can not react on changes during an optimization which often leads to premature convergence. In this paper, we present a variation of our approach described in (C. Breitschopf et. al, 2005) for a self-adapting operator selection that is able to monitor the success of the operators over time and gives priority to currently successful operators. We compare the results with another approach we implemented as first strategy for considering operator success as well as analyze under which circumstances which approach should be preferred","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128972758","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}
Ingolf Krüger, M. Meisinger, M. Menarini, S. Pasco
{"title":"Rapid Systems of Systems Integration - Combining an Architecture-Centric Approach with Enterprise Service Bus Infrastructure","authors":"Ingolf Krüger, M. Meisinger, M. Menarini, S. Pasco","doi":"10.1109/IRI.2006.252387","DOIUrl":"https://doi.org/10.1109/IRI.2006.252387","url":null,"abstract":"Rapid, yet methodical, systems of systems integration is in high demand. Application areas such as homeland security and disaster response add to the challenge because of a unique set of integration requirements; three examples are: (1) a high demand for flexibility with respect to the configuration and support of business processes to anticipate and cater to changing threat and mitigation scenarios, (2) high agility demands during both development and production to address legacy and emergent capabilities, processes, applications and technologies, (3) wide variety of trust relationships among and across stakeholders and their organizations. In this paper we report on an approach for balancing challenging integration requirements while rapidly delivering a high-quality, value added, integrated system architecture and service-based implementation infrastructure. In particular, we show how the choice of an enterprise service bus as a deployment infrastructure helps discharge many of the obligations induced by the mentioned requirements - if it is combined with an agile, yet systematic approach for architecture discovery and design","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132311383","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}
{"title":"T2K2: A Type II KASER","authors":"S. Rubin, Shu‐Ching Chen, J. Law","doi":"10.1109/IRI.2006.252404","DOIUrl":"https://doi.org/10.1109/IRI.2006.252404","url":null,"abstract":"The transformational methodology described in this paper induces new knowledge, which may be open under any deductive process. The method of transposition is used to maintain a maximum size for the application as well as meta-rule bases. The \"move to head\" method is used by both the application and metarule bases for hypotheses formation. Whenever an application rule is fired, it is transposed on the transposition list and also moved to the head on the other list. If any meta-rule on a solution path individually leads to a contradiction on the application rule base, then the offending meta-rule is expunged. Then, when the system is idle enter dream mode, whereby rule i rArr rule j is generated by the 3-2-1 skewed twister as a candidate most-specific meta-rule. Candidate most-specific meta-rules are \"cored\" to create one generalization per candidate. These candidate meta-rules are tested for application to each rule in the application domain rule base. In order to be saved in the meta base, they may not map any existing rule in the application domain rule base to one having the same antecedent as another in this base, but a different consequent (as found by hashing). In addition, all candidate meta-rules must map at least one rule in the application base to another distinct one there, or be symmetrically induced from meta-rules that so map","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114187606","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}
Tsung-Ying Sun, Shang-Jeng Tsai, Chun-Hung Chen, Shan-Ming Yang
{"title":"Fuzzy-based Error Correction Mechanism to Improve the Precision of Intelligent Maneuvering Target Tracking","authors":"Tsung-Ying Sun, Shang-Jeng Tsai, Chun-Hung Chen, Shan-Ming Yang","doi":"10.1109/IRI.2006.252383","DOIUrl":"https://doi.org/10.1109/IRI.2006.252383","url":null,"abstract":"This paper proposes a fuzzy-based error correction mechanism (FECM) to improve the precision of an online data-driven fuzzy clustering (ODDFC) used in the maneuvering target tracking and trajectory prediction. In the ODDFC, the observed data are extracted automatically by fuzzy inference mechanism without much computation and training costs. But the improvement performance of ODDFC is slightly due to its parameters limitation and the prediction accuracy can be affected by the trajectory's curvature of moving target. So we propose ODDFC with FECM to solve the problem. In the proposed method, we use fuzzy inference system that has error correction mechanism to reduce the prediction error of ODDFC. ODDFC with FECM can predict maneuvering targets adapt quickly and have better prediction performance than ODDFC. Simulation results show that proposed method can improve the performance of ODDFC","PeriodicalId":402255,"journal":{"name":"2006 IEEE International Conference on Information Reuse & Integration","volume":"185 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131820786","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}