检索结果-内蒙古大学图书馆

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Xiangyu Luo Kaile Su Abdul Sattar Yan Chen Tsinghua National Laboratory for Information Science and Technology Key Laboratory of Security for Information System of Ministry of Education School of Software Tsinghua University Beijing China Department of Computer Science Guilin University of Electronic and Technology Guilin China School of Electronics Engineering and Computer Science Peking University Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane QLD Australia

We model the sum and product riddle in public announcement logic, which is interpreted on an epistemic Kripke model. The model is symbolically represented as a finite state program with n agents. A model checking method to the riddle is developed by using the BDD-based symbolic model checking algorithm for logic of knowledge we developed in [7]. The method is implemented by extending the model checker MCTK [7] and then the solution of the riddle is verified successfully.

关键词： Data structures Boolean functions IEEE news Intelligent agent Educational technology Automatic logic units Laboratories computer science Information science computer security

来源：评论

学校读者我要写书评

暂无评论

Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning

Pointwise Logic on Completely Distributive Lattices and Appr...

引用

International Conference on Fuzzy systems and Knowledge Discovery (FSKD)

作者： Yalin Zheng Guang Yang Jing Zheng Jinsheng Xing State Key Laboratory for Intelligent Technology and Systems Department of Automation Faculty of Information Science and Technology Tsinghua University Beijing China Research Center of Intelligent Information Technology Department of Computer Science and Technology Faculty of Software Dongguan University of Science and Technology Dongguan China Research Center of Dongguan Economy Department of Economy and Commerce Dongguan University of Science and Technology Dongguan China Faculty of Mathematics and Computer Science Shanxi Normal University Linfen China Research Center of System Engineering Faculty of Electronic and Information Engineering Xi'an Jiaotong University Xi'an China

In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterization, therefore the pointwise conception is pervasive. We explore approximate reasoning in abstract logical framework Fl on completely distributive lattice L. We propose the structure of point- wise topological logic F TL , the structure of matching function sigma. and the structure of matching neighborhood group. We investigate approximate reasoning in pointwise topological logic F TL with matching function sigma, develop pointwise topological algorithm of simple approximate reasoning, introduce the essential characteristics of this scheme.

关键词： Lattices Fuzzy logic computer science Knowledge engineering Fuzzy systems Information technology Laboratories Intelligent systems Automation Information science

来源：评论

学校读者我要写书评

暂无评论

The Research of software Product Line engineering Process and Its Integrated Development Environment Model

The Research of Software Product Line Engineering Process an...

引用

International Symposium on computer science and Computational Technology, ISCSCT

作者： Jianli Dong Jianzhou Wang Donghuai Sun Haiyan Lu School of Computer Engineering HuaiHai Institute of Technology Lianyungang China School of Mathematics & Statistics Lanzhou University Lanzhou China Key Laboratory of Western Chinas Environmental Systems College of Earth and Environment Sciences Ministry of Education Lanzhou University Lanzhou China Department of Software Engineering University of Technology Sydney Australia

In order to realize the industrialization production of software, people have carried out research on and analysis the software product line architecture of the growing maturity, component technology and development methods for product line. In this paper, a novel software engineering process model is proposed based on the modern industrial production systems and automated production method: that is ¿N-life-cycle model¿. Based on this new model, not only integrated software engineering environment model and framework have been proposed, which are based on the product line development process model, but also study systematically on theirs implementation. "N-life-cycle model" and "integrated software engineering environment model based on the product line" which are set up in the article are brand-new open models possessing modern manufacturing production characteristic. The models can impel the research development quickly of product line engineering and product line software engineering environment towards the industrialisation and automatization of the software industry.

关键词： software engineering computer industry Educational technology software architecture Application software Design engineering Production systems computer architecture Assembly Manufacturing industries

来源：评论

学校读者我要写书评

暂无评论

A SLA-oriented management of containers for hosting stateful web services

A SLA-oriented management of containers for hosting stateful...

引用

3rd IEEE International Conference on e-science and Grid Computing

作者： Reich, Christoph Bubendorfer, Kris Banholzer, Matthias Buyya, Rajkumar Department of Computer Science Hochschule Furtwangen University Germany School of Mathematics Statistics and Computer Science Victoria University of Wellington New Zealand Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)9780769530642

Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are frequently used to realise such Service-Oriented Architectures. In such systems, autonomic principles of self-configuration, self-optimisation, self-healing and self-adapting are desirable to ease management and improve robustness. In this paper we focus on the extension of the self management and autonomic behaviour of a WSRF container connected by a structured P2P overlay network to monitor and rectify its QoS to satisfy its SLAs. The SLA plays an important role during two distinct phases in the life-cycle of a WSRF container Firstly during service deployment when services are assigned to containers in such a way as to minimise the threat of SLA violations, and secondly during maintenance when violations are detected and services are migrated to other containers to preserve QoS. In addition, as the architecture has been designed and built using standardised modem technologies and with high levels of transparency, conventional web services can be deployed with the addition of a SLA specification.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

A grid based e-Research platform for clinical management in the human respiratory and vascular system

Conferences in Research and Practice in Information Technolo...

引用

Conferences in Research and Practice in Information Technology Series 2007年 68卷 11-17页

作者： Cheung, Sherman Chu, Xingchen Xu, Shengjin Buyya, Rajkumar Tu, Jiyuan School of Aerospace Mechanical and Manufacturing Engineering RMIT University VIC 3083 Australia Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering The University of Melbourne VIC 3010 Australia

ISBN: (纸本)192068249X

A Grid based e-Research platform is being developed for providing a simulation-based virtual reality environment for clinical management and therapy treatment. The development of this platform involves cross-disciplinary experts aiming at combining the state-of-the-art Computational Fluid Dynamics (CFD) analysis tools into clinical management system. These fluid dynamic studies support the physician and surgeon with recommendations for the possible range of treatment and operation techniques. The platform will consist of a cluster of computing nodes, a middleware (Grid management layer), internet accessible tomography data and CFD analysis tools, and a tailored graphical user interface (GUI) application for various experts. In future, this platform will provide the novel creation of a prototype virtual reality model environment that links each technical modular consisting of a consolidation system with flexible interface model for exchanging data efficiently. Furthermore, besides allowing expeditious sharing of data and analytical tools, it will also furnish a foundation for cross-disciplinary collaboration and will definitely foster further advancement of related biomechanics researches. © 2007, Australian computer Society, Inc.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Towards re-engineering legacy systems for assured dynamic adaptation

Towards re-engineering legacy systems for assured dynamic ad...

引用

ICSE 2007 Workshops: International Workshop on Modeling in software engineering, MISE'07

作者： Zhang, Ji Cheng, Betty H. C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824

ISBN: (纸本)0769529534

Increasingly, software must adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Since most existing software was not designed to adapt, research on techniques to make legacy software dynamically adaptive has gained increasing interest. Assurance is crucial for adaptive software to fulfill its intended purpose. Correctness is even more critical if it is to be applied in high assurance systems. This paper proposes a model-driven approach to introduce dynamic adaptation to non-adaptive legacy systems while maintaining assurance properties. An aspect-oriented technique is applied to achieve separation of concerns in the implementation. © 2007 IEEE.

关键词： Legacy systems

来源：评论

学校读者我要写书评

暂无评论

Integrated risk analysis for a commercial computing service

Integrated risk analysis for a commercial computing service

引用

21st International Parallel and Distributed Processing Symposium, IPDPS 2007

作者： Yeo, Chee Shin Buyya, Rajkumar Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Vic. 3010 Australia

ISBN: (纸本)1424409101

Utility computing has been anticipated to be the next generation of computing usage. Users have the freedom to easily switch to any commercial computing service to complete jobs whenever the need arises and simply pay only on usage, without any investment costs. A commercial computing service however has certain objectives or goals that it aims to achieve. In this paper, we identify three essential objectives for a commercial computing service: (i) meet SLA, (ii) maintain reliability, and (iii) earn profit. This leads to the problem of whether a resource management policy implemented in the commercial computing service is able to meet the required objectives or not. So, we also develop two evaluation methods that are simple and intuitive: (i) separate and (ii) integrated risk analysis to analyze the effectiveness of resource management policies in achieving the required objectives. Evaluation results based on five policies successfully demonstrate the applicability of separate and integrated risk analysis to assess policies in terms of the required objectives. © 2007 IEEE.

关键词： Utility programs

来源：评论

学校读者我要写书评

暂无评论

Authentication in reprogramming of sensor networks for mote class adversaries

Authentication in reprogramming of sensor networks for mote ...

引用

21st International Parallel and Distributed Processing Symposium, IPDPS 2007

作者： Limin, Wang Kulkarni, Sandeep S. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)1424409101

Reprogramming is an essential service for wireless sensor networks. Authenticating reprogramming process is important as sensors need to verify that the code image is truly from a trusted source. There are two ways to achieve authentication: public key based and symmetric key based. Although previous work has shown that public key authentication is feasible on sensor nodes if used sparingly, it is still quite expensive compared to symmetric key based approach. In this paper, we propose a symmetric key based protocol for authenticating reprogramming process. Our protocol is based on the secret instantiation algorithm from [5, 11], which requires only O(log n) keys to be maintained at each sensor. We integrate this algorithm with the existing reprogramming protocol. Through simulation, we show that it is able to authenticate reprogramming process at very low communication cost, and has very short delay. ©2007 IEEE.

关键词： Sensor networks

来源：评论

学校读者我要写书评

暂无评论

Visualizing requirements in UML models

Visualizing requirements in UML models

引用

First International Workshop on Visualization in Requirements engineering, REV 2006, at the 14th IEEE Requirements engineering Conference, RE 2006

作者： Konrad, Sascha Goldsby, Heather Lopez, Karli Cheng, Betty H.C. Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI 48824 United States

ISBN: (纸本)0769527116

As the Unified Modeling Language (UML) and model-driven development (MDD) become increasingly common in industry, many developers are faced with the difficult task of understanding how an existing UML model realizes system requirements. Essentially, developers are required to understand the structure and behavior of UML models that they may have not created. Understanding these relationships is non-trivial, because the interactions in the model are not readily apparent. Commonly, the only means to elicit these relationships is visual inspection and guided simulation. This paper describes an alternative approach termed REVU (Requirements Visualization of UML), a process for visualizing functional requirements in terms of behavioral interactions in a UML model. We illustrate the use of this process with the visualization of scenarios for an adaptive light control system. © 2006 IEEE.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Prewavelets with finite decomposition and finite reconstruction

引用

Journal of Information and Computational science 2007年第1期4卷 35-41页

作者： Guan, Yujing Li, Ying Jiang, Zhengyi Institute of Mathematics Jilin University Changchun 130021 China State Key Laboratory of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua University Beijing 100084 China College of Computer Science and Technology Jilin University Changchun 130021 China Key Laboratory of Symbol Computation and Knowledge Engineering Changchun 130021 China

The necessary and sufficient condition for the existence of prewavelets with finite decomposition and finite reconstruction is presented. Especially when r = 1, we show that {φj(x-k) | 1 &le j &le r, k ∈ s} is shift-orthogonal if there exist prewavelets with finite decomposition and finite reconstruction, i.e., non-trivial prewavelets with finite decomposition and finite reconstruction does not exist. As an example, when r = 2 we construct a prewavelet with finite decomposition and finite reconstruction where the scale function is not shift-orthogonal, which demonstrate that there exist vector prewavelets with finite decomposition and finite reconstruction.

关键词： Wavelet transforms

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：