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

Algebraic approach for TAL-freeness detection

Jisuanji Xuebao/Chinese Journal of computers 2008年第3期31卷 516-521页

作者： Peng, Rong Cui, Jing-Song Zeng, Xiang-Yong State Key Laboratory of Software Engineering Wuhan 430072 China School of Computer Science Wuhan University Wuhan 430072 China Faculty of Mathematics and Computer Science Hubei University Wuhan 430062 China

A Time-Action-Lock (TAL) is a state of a real-time system at which neither time can progress nor an action can occur. Behzad and Kozo presented a TAL-freeness detection method based on the geometry of Timed Automata. It is realized by means of translating the problem to Rational Presburger Sentences that has its drawback of efficiency. In this paper, the authors present an algebraic approach for TAL-freeness detection, which can detect the TAL-freeness directly. Detailed correctness proofs and performance analysis are provided.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Intelligent Hypermedia for the Adaptive Web: Foreword to the SMAP '08 Special Session

Intelligent Hypermedia for the Adaptive Web: Foreword to the...

引用

International Workshop on Semantic Media Adaptation and Personalization (SMAP)

作者： Ioannis Anagnostopoulos Maria Bielikova Manolis Wallace John W.T. Lee Department of Information Communication Systems Engineering University of Aegean Samos Greece Institute of Informatics and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovicova Bratislava Slovakia Department of Computer Science and Technology University of Peloponnese Tripoli Greece Department of Computing Hong Kong Polytechnic University Hong Kong China

Researchers need to explore and study the plethora of challenges that emergent intelligent hypermedia technologies bring to the Adaptive Web. This special session aims to increase the awareness of researchers in this area, providing an in-depth investigation on several research and deployment issues, regarding the impact of intelligent methods on this new form of Web. In addition, this special session examines the performance characteristics of various approaches in Web-based systems, while it focuses on the development of intelligent methods among different hypermedia applications.

关键词： Intelligent structures Privacy Informatics Protocols System testing Collaboration Service oriented architecture Systems engineering and theory software engineering Information technology

来源：评论

学校读者我要写书评

暂无评论

Research on rough set theory and applications in China

引用

Lecture Notes in computer science

作者： Wang, Guoyin Zhang, Qinghua Huang, Houkuan Ye, Dongyi Hu, Qinghua Hu, Xuegang Shi, Zhongzhi Li, Yongli Shang, Lin An, Liping Sai, Ying Chen, Shanben Liang, Jiye Qin, Keyun Zeng, Huanglin Xie, Keming Miao, Duoqian Min, Fan Wu, Zhaocong Wu, Weizhi Dai, Jianhua Institute of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing 400065 China School of Information Science and Technology Southwest Jiaotong University Chengdu 610031 China School of Computer and Information Technology Beijing Jiaotong University Beijing 100044 China College of Math. and Computer Fuzhou University Fuzhou 350002 China Harbin Institute of Technology PO Box 458 Harbin 150006 China School of Computer and Information Hefei University of Technology Hefei 230009 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100080 China Lanzhou University No.222 Tianshui South Rd. Lanzhou 730000 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Management Science and Engineering Department Business School Nankai University Tianjin 300071 China Shandong University of Finance No.40 Shun-geng Road Jinan 250014 China Welding Engineering Institute Shanghai Jiaotong University Shanghai 200030 China School of Computer and Information Technology Shanxi University Taiyuan 030006 China Intelligent Control Development Center Southwest Jiaotong University Chengdu 610031 China Artificial Intelligence of Key Laboratory Sichuan University of Science and Engineering Zigong 643000 China Department of Automation College of Information Engineering Taiyuan University of Technology Taiyuan 030024 China 4800 CaoAn Highway Shanghai 201804 China School of Computer Science and Technology University of Electronic Science and Technology of China Chengdu 610054 China School of Remote Sensing Information Engineering Wuhan University Wuhan 430079 China Institute for Information and System Sciences Faculty of Science Xi'an Jiaotong University Xi'an 710049 China Information College Zhejiang Ocean University Zhejiang 316004 China Institute of Artificial Intelligence Zhejiang University Hangzhou 310027 China

ISBN: (纸本)3540850635

This article gives a capsule view of research on rough set theory and applications ongoing at universities and laboratories in China. Included in this capsule view of rough set research is a brief description of the following things: Chinese research groups on rough set with their URLs for web pages, names of principal researchers (supervisors), numbers of graduate students, and topics being investigated. Statistical summaries showing the growth in the research on rough set theory and application in China are included. In addition, an introduction summarizing the research interests of Chinese researchers is included in this article. The contribution of this article is a complete overview of the principal research directions in rough set theory and its applications in China. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

How to Combine Requirements engineering and Interaction Design?

How to Combine Requirements Engineering and Interaction Desi...

引用

IEEE International Conference on Requirements engineering

作者： Hermann Kaindl Larry Constantine Oscar Pastor Alistair Sutcliffe Didar Zowghi Institute of Computer Technology University of Technology Vienna Vienna Austria Human-Centered Software Engineering Lab University of Madeira Constantine & Lockwood limited USA Department of Informatics Systems and Computation Universitad Politécnica de Valencia Spain Systems Engineering in Manchester Business School University of Manchester Institute of Science and Technology UK Faculty of Information Technology University of Technology (UTS) Australia

In this panel, we propose to figure out how requirements engineering and interaction design can be usefully combined. In particular, some people argue that scenarios/ use cases should be concrete, as in story-telling. Others argue for use of "essential" use cases as a methodological approach to interaction and user-interface design. Somewhat in the middle, it is argued that use cases should help acquiring the requirements in the first place. What should the practitioner believe and, in particular, do, in order to develop useful and usable software and systems? software development and interaction design require different skills and different methods and are typically done by different people. Still, scenario-based design is proposed for several activities relevant for both tasks, such as requirements elicitation, software design, and interaction design. Symbolic modeling in this spirit is actually common to various fields. However, scenario-based approaches vary, especially with regard to their use, e.g., employing abstract use cases or integrating scenarios with functions and goals in a systematic design process. So, the key issue to be raised at the panel is how to combine different approaches, e.g., in scenario-based development, so that the interaction design as well as the development of the user interface and of the software internally result in an overall useful and useable system.

关键词： Design engineering Concrete User interfaces Usability Human computer interaction software systems Programming software design Process design Systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

An evaluation of traceability approaches to support software evolution

An evaluation of traceability approaches to support software...

引用

2nd International Conference on software engineering Advances - ICSEA 2007

作者： Rochimah, Siti Kadir, Wan M. N. Wan Abdullah, Abdul H. Software Engineering Department Faculty of Computer Science and Information System Universiti Teknologi Malaysia

ISBN: (纸本)0769529372

Requirements traceability is becoming increasingly significant element in software engineering. It provides critical function in the development and maintenance of a software system. From the software evolution point of view, requirements traceability plays an important role in facilitating software evolution. Since the evolution is inevitable, a traceability approach must take as much as possible the important influencing aspects into account to the evolution processes in order to minimize the evolution efforts. This paper evaluates several recent traceability approaches published in literature with the focus on their contributions to software evolution. The evaluation results may be used as a basis for improving requirements traceability approaches that may simplify the software evolution tasks. © 2007 IEEE.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

A component-oriented programming for embedded mobile robot software

引用

International Journal of Advanced Robotic Systems 2007年第3期4卷 371-380页

作者： Jawawi, Dayang N. A. Mamat, Rosbi Deris, Safaai Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81310 UTM Skudai Malaysia Department of Mechatronics and Robotics Engineering Faculty of Electrical Engineering Universiti Teknologi Malaysia 81310 UTM Skudai Malaysia

Applying software reuse to many Embedded Real-Time (ERT) systems poses significant challenges to industrial software processes due to the resource-constrained and real-time requirements of the systems. Autonomous Mobile Robot (AMR) system is a class of ERT systems, hence, inherits the challenge of applying software reuse in general ERT systems. Furthermore, software reuse in AMR systems is challenged by the diversities in terms of robot physical size and shape, environmental interaction and implementation platform. Thus, it is envisioned that component-based software engineering will be the suitable way to promote software reuse in AMR systems with consideration to general requirements to be self-contained, platform-independent and real-time predictable. A framework for component-oriented programming for AMR software development using PECOS component model is proposed in this paper. The main features of this framework are: (1) use graphical representation for components definition and composition;(2) target C language for optimal code generation with resource-constrained micro-controller;and (3) minimal requirement for run-time support. Real-time implementation indicates that, the PECOS component model together with the proposed framework is suitable for resource constrained embedded AMR systems software development.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Determining practice achievement in project management using a two-phase questionnaire on small and medium enterprises

Determining practice achievement in project management using...

引用

14th European software Process Improvement Conference, EuroSPI 2007

作者： Garcia, Ivan Calvo-Manzano, Jose A. Gonzalo, Cuevas Tomas, San Feliu Languages and Informatics Systems and Software Engineering Department Faculty of Computer Science Polytechnic University of Madrid Spain

ISBN: (纸本)9783540747659

This paper aims to obtain a baseline snapshot of Project Management processes using a two-phase questionnaire to identify both performed and nonperformed practices. The proposed questionnaire is based on the Level 2 process areas of the Capability Maturity Model Integration for Development v1.2. It is expected that the application of the questionnaire to the processes will help small and medium software enterprises to identify those practices which are performed but not documented, which practices need more attention, and which are not implemented due to bad management or unawareness. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Project management

来源：评论

学校读者我要写书评

暂无评论

ALICE: An advanced logic for interactive component engineering

ALICE: An advanced logic for interactive component engineeri...

引用

4th International Verification Workshop, VERIFY 2007, Affiliated with the 21st Conference on Automated Deduction, CADE 2007

作者： Gajanovic, Borislav Rumpe, Bernhard Software Systems Engineering Institute Carl-Friedrich-Gauß Faculty for Mathematics and Computer Science Braunschweig University of Technology Braunschweig Germany

This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified as a state-full black-box with directed communication channels. Components send and receive asynchronous messages via these channels. The behavior of a component is generally described as a relation on the observations in form of streams of messages flowing over its input and output channels. Untimed and timed as well as state-based, recursive, relational, equational, assumption/guarantee, and functional styles of specification are supported. Hence, ALICE is well suited for the formalization and verification of distributed systems modeled with this stream-processing paradigm.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

Content-based image retrieval based on the wavelet transform and radon transform

Content-based image retrieval based on the wavelet transform...

引用

2007 2nd IEEE Conference on Industrial Electronics and Applications, ICIEA 2007

作者： Zhiyong, An Zhiyong, Zeng Lihua, Zhou School of Computer Science and Engineering Xidian University Xi'an 710071 China Faculty of Software Fujian Normal University Fujian Fuzhou 350001 China

ISBN: (纸本)1424407370

The invariant using Radon transform is constructed and a new image retrieval algorithm based on the wavelet transform and Radon transform is presented. It turns to be getting multi-scale edge images by the wavelet modulus maxima after decomposing the images by the wavelet transform in the algorithm. The Radon invariant is extracted to be the shape feature of image to the multi-scale edge images and the energy of every sub frequency band is extracted to be the texture feature of image. The Gaussian model is used to normalize the different sub-characters distance to the shape feature of image and the texture feature of image separately. The shape similarity of images and the texture similarity of images are computed by the Euclidean distance separately. Finally, the weighted sums of the shape similarity of images and the texture similarity of images can be the similarity between the querying image and other images. Experiments indicate that this method is robustness to the Gaussian noises in image's similarity retrieval and more effective in the image retrieval than the other algorithms discussed in the paper. © 2007 IEEE.

关键词： Image retrieval

来源：评论

学校读者我要写书评

暂无评论

FD/I-based personalized recommendation in context-aware application

FD/I-based personalized recommendation in context-aware appl...

引用

2007 International Conference on Multimedia and Ubiquitous engineering, MUE 2007

作者： Yun, Bai Juan, Yang Yuhui, Qiu School of Electronic and Information Engineering Southwest University Chongqing 400715 China Intelligent Software and Software Engineering Laboratory Southwest University Chongqing 400715 China Faculty of Computer and Information Science Southwest University Chongqing 400715 China

ISBN: (纸本)0769527779

Personalized recommendation is an important application of context-aware system and is being used widely. However, most existed systems provide personalized information to users only based on user preferences or user activity history. Few applications consider the user's psychology characteristics before they make recommendation. We take this characteristic into consideration, and believe the psychology knowledge is valuable to personalized recommendation. In this paper we propose a new way for personalized recommendation in context-aware system which named field dependence/ independence-based recommendation. Field dependence/independence is a cognitive style of human and reflects the requirement of user about information. We compare the field dependence user with field independence user in context-aware environment, and make field dependence/independence be a characteristic parameter in personalized recommendation. We implement it and the performance seems excellent. © 2007 IEEE.

关键词： Data acquisition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：