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

作者： Razali, Rozilawati Garratt, Paul Faculty of Information Science and Technology Universiti Kebangsaan Malaysia 43600 UKM Bangi Selangor Malaysia Dependable Systems and Software Engineering School of Electronics and Computer Science University of Southampton SO17 1BJ United Kingdom

ISBN: (纸本)9781607500490

The notation and environment in conceptual modelling transform developers' initial perception about a system to a concrete model. Any usability constraints that the notation and environment impose on the modeling process affect not only the quality of the model but also the quality of the final product. This paper presents a usability profile for designing conceptual modelling methods that integrate graphical notation and formal mathematical notation. The profile was proposed based on a survey conducted on an instance of such methods, which combines the Unified Modelling Language (UML) and Event-B. The instruments used in the survey were the Cognitive Dimensions of Notations (CD) framework and several criteria suggested by the International Organization for Standardization (ISO). The analysis was conducted using the grounded theory approach. Thirteen participants responded to the survey. The survey suggests that graphical formal modelling requires deep understanding of the notations involved, strong support from the environment, well-organised models and high spatial ability. © 2009 IOS Press. All rights reserved.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Threats to Health information Security

Threats to Health Information Security

引用

The Fifth International Conference on information Assurance and Security(第五届信息保障与安全国际会议)

作者： Ganthan Narayana Samy Rabiah Ahmad Zuraini Ismail Department of Computer Systems and Communications Faculty of Computer Science and Information System Centre for Advanced Software Engineering (CASE) Faculty of Computer Science and Information Systems Department of Science College of Science and Technology Universiti Teknologi Malaysia (UTM) Malaysia

ISBN: (纸本)9781424451012

The purpose of this paper is to identify the threats that exist in Healthcare information systems (HIS). The study has been carried out in three different departments namely, information technology Department (ITD), Medical Record Department (MRD) and X-Ray Department in one of the leading government supported hospital in Malaysia. The hospital was equipped with Total Hospital information System (THIS) environment. The data were collected using in-depth structured interviews. The study identified 22 types of threats according to major threat categories based on ISO/IEC 27002 (ISO 27799:2008). The result shows the most critical threat for the THIS is the power failure. In addition, acts of human error or failure threat also show high frequency of occurrence. The contribution of the paper will be categorization of threats in HIS and can be used to design and implement effective security systems and policies in healthcare setting.

关键词： Threats Healthcare information systems (HIS) information Security Risk Analysis

来源：评论

学校读者我要写书评

暂无评论

Perfect Distinguishability of Quantum Operations

引用

Physical Review Letters 2009年第21期103卷 210501-210501页

作者： Runyao Duan Yuan Feng Mingsheng Ying State Key Laboratory of Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology Tsinghua University Beijing 100084 China and Centre for Quantum Computation and Intelligent Systems (QCIS) Faculty of Engineering and Information Technology University of Technology Sydney New South Wales 2007 Australia

We provide a feasible necessary and sufficient condition for when an unknown quantum operation (quantum device) secretly selected from a set of known quantum operations can be identified perfectly within a finite number of queries, and thus complete the characterization of the perfect distinguishability of quantum operations. We further design an optimal protocol which can achieve the perfect discrimination between two quantum operations by a minimal number of queries. Interestingly, we find that an optimal perfect discrimination between two isometries is always achievable without auxiliary systems or entanglement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Threats Identification in Healthcare information systems using Genetic Algorithm and Coz Regression

Threats Identification in Healthcare Information Systems usi...

引用

The Fifth International Conference on information Assurance and Security(第五届信息保障与安全国际会议)

作者： Rabiah Ahmad Ganthan Narayana Samy Nuzulha Khilwani Ibrahim Peter A.Bath Zuraini Ismail Centre for Advanced Software Engineering (CASE) Faculty of Computer Science and Information Systems Department of Computer Systems and Communications Faculty of Computer Science and Information System Department of Information Studies University of Sheffield UK Department of Science College of Science and Technology Universiti Teknologi Malaysia (UTM) Malaysia

ISBN: (纸本)9781424451012

Threats to information security for healthcare information system increased tremendously. There are various factors contribute to information security threats, many researchers focused only to certain factors which interest them (e.g., virus attack). Certain factors which may be important remain unexplored. In addition, lack of tools and technologies directed to limited number of threats traced in healthcare system. Thus it introduces bias in threat analysis. This study explored the use of biological computational termed Genetic Algorithm (GAs) combined with Cox regression (CoRGA) in identifying a potential threat for healthcare system. The results show that variable described “misused of e-mail” is the major information security threats for healthcare system. Results were compared with manual analysis using the same data, and it is shows that GAs not just introducing new threats for healthcare system but it was similar with others threats proposed by previous researches.

关键词： Healthcare information systems (HIS) Risk Analysis Threats information Security Genetic Algorithm and Coz Regression

来源：评论

学校读者我要写书评

暂无评论

To establish a pharmacological experimental platform for the study of cardiac hypoxia using the microelectrode array

引用

Journal of Pharmacological and Toxicological Methods 2009年第3期59卷 146-152页

作者： Yeung, Chi-Kong Sommerhage, Frank Wrobel, Günter Law, Jessica Ka-Yan Offenhäusser, Andreas Rudd, John Anthony Ingebrandt, Sven Chan, Mansun Department of Pharmacology Faculty of Medicine The Chinese University of Hong Kong (CUHK) Shatin Hong Kong Institute of Bio- and Nanosystems - Bioelectronics (IBN-2) Centre of Nanoelectronic Systems for Information Technology (CNI) Leo-Brandt-Str. D-52425 Jülich Germany Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology (HKUST) Hong Kong

Introduction: Simultaneous recording of electrical potentials from multiple cells may be useful for physiological and pharmacological research. The present study aimed to establish an in vitro cardiac hypoxia experimental platform on the microelectrode array (MEA). Methods: Embryonic rat cardiac myocytes were cultured on the MEAs. Following ≥ 90 min of hypoxia, changes in lactate production (mM), pH, beat frequency (beats per min, bpm), extracellular action potential (exAP) amplitude, and propagation velocity between the normoxic and hypoxic cells were compared. Results: Under hypoxia, the beat frequency of cells increased and peaked at around 42.5 min (08.1 ± 3.2 bpm). The exAP amplitude reduced as soon as the cells were exposed to the hypoxic medium, and this reduction increased significantly after approximately 20 min of hypoxia. The propagation velocity of the hypoxic cells was significantly lower than that of the control throughout the entire 90+ min of hypoxia. The rate of depolarisation and Na⁺ signal gradually reduced over time, and these changes had a direct effect on the exAP duration. Discussion: The extracellular electrophysiological measurements allow a partial reconstruction of the signal shape and time course of the underlying hypoxia-associated physiological changes. The present study showed that the cardiac myocyte-integrated MEA may be used as an experimental platform for the pharmacological studies of cardiovascular diseases in the future. © 2009 Elsevier Inc. All rights reserved.

关键词： Cardiac myocytes Disease model Extracellular action potential Functional studies Hypoxia Microelectrode array

来源：评论

学校读者我要写书评

暂无评论

Detection of plagiarism in database schemas using structural fingerprints

Detection of plagiarism in database schemas using structural...

引用

ACS/IEEE International Conference on computer systems and Applications

作者： Samer M. Abd El-Wahed Ahmed Elfatatry Mohamed S. Abougabal Department of Information Technology Institute of Graduate Studies and Research Alexandria University Egypt Department of Computer and Systems Engineering Faculty of Engineering Alexandria University Egypt

This research is concerned with plagiarism in software design. Specifically, the focus is on database design. Generally, producing plagiarized software may be done through illegal use of someone else's source code or database design. Since it is hard to steal source code from the original author(s), the database schema is usually easier to be viewed, studied and hence plagiarized. Efficient design of a database schema requires an understanding of the application area, the data usage patterns, and the underlying database management system. Stealing the effort of this step may be rewarding to some. The main contribution of this paper is the suggestion of a software tool for detecting plagiarized database schemas using structural fingerprints of database tables.

关键词： Plagiarism Fingerprint recognition Intellectual property information technology Software tools Data engineering Software design Application software Database systems Forensics

来源：评论

学校读者我要写书评

暂无评论

An Approach for Eliciting Software Requirements and its Prioritization Using Analytic Hierarchy Process

An Approach for Eliciting Software Requirements and its Prio...

引用

International Conference on Advances in Recent Technologies in Communication and Computing, ARTCom

作者： Mohd. Sadiq Shabina Ghafir Mohd. Shahid Computer Engineering Section Faculty of Engineering and Technology Jamia Millia Islamia University New Delhi India Department of Computer Science Faculty of Management Studies and Information Technology Jamia Hamdard University New Delhi India Department of Computer Science and Engineering Al-Falah School of Engineering and Technology Maharshi Dayanand University Rohtak Haryana India

Most software engineering methods presume that requirements are explicitly and completely stated; however, experience shows that requirements are rarely complete and usually contain implicit requirements. The failure or success of a software system depends on the quality of the requirements. The quality of the requirements is influenced by the techniques employed during requirements elicitation. Requirements elicitation is most critical part of the software development because errors at this beginning stage propagate through the development process and the hardest to repair later. In this paper we have proposed an algorithmic approach to elicit the software requirements and its prioritization of the requirements using analytic hierarchy process (AHP).

关键词： Security Ontologies computer science Software engineering Software systems Programming Software algorithms Communications technology information management technology management

来源：评论

学校读者我要写书评

暂无评论

Benefit and evaluation of interactive 3D process data visualization in operator training of plant manufacturing industry

Benefit and evaluation of interactive 3D process data visual...

引用

IEEE International Conference on systems, Man and Cybernetics

作者： Dorothea Pantförder Birgit Vogel-Heuser Chair of Embedded Systems Faculty of Electrical Engineering/Computer Science University of Kassel Kassel Germany Institute of Information Technology in Mechanical Engineering Faculty of Mechanical Engineering Technische Universität München Munich Germany

Operator training without a process model is necessary in certain plant manufacturing industry's applications because the process models from the control theory perspective are still not available. This paper describes an experiment that analyzed the benefits of 3D data visualization integrated in HMI for process control in combination with different types of operator training to obtain process knowledge. The benefits of interactive 3D slider training in identifying errors during operation could be proven.

关键词： Data visualization Industrial training Manufacturing industries Process control Mechanical engineering Libraries Data analysis Cybernetics USA Councils Embedded system

来源：评论

学校读者我要写书评

暂无评论

Optimality of Affine Policies in Multi-stage Robust Optimization

Optimality of Affine Policies in Multi-stage Robust Optimiza...

引用

Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference

作者： Dimitris Bertsimas Dan A.Iancu Pablo A.Parrilo Faculty of the Sloan School of Management and the Operations Research Center Massachusetts Institute of Technology the Operations Research Center Massachusetts Institute of Technology the Laboratory for Information and Decision Systems and the Faculty of Electrical Engineering and Computer Science Massachusetts Institute of Technology

In this paper,we prove the optimality of disturbance-affine control policies in the context of onedimensional,box-constrained,multi-stage robust *** results cover the finite horizon case,with minimax(worstcase) objective,and convex state costs plus linear control *** proof methodology,based on techniques from polyhedral geometry,is elegant and conceptually simple,and entails efficient algorithms for the case of piecewise affine state costs,when computing the optimal affine policies can be done by solving a single linear program.

关键词： Optimality of Affine Policies in Multi-stage Robust Optimization

来源：评论

学校读者我要写书评

暂无评论

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences

Checking Sequence Construction Using Adaptive and Preset Dis...

引用

International Conference on Software engineering and Formal Methods (SEFM)

作者： Robert M. Hierons Guy-Vincent Jourdan Hasan Ural Husnu Yenigun School of Information Systems Computer and Mathematics Brunei University Uxbridge Middlesex UK School of Information Technology and Engineering University of Ottawa Ottawa ONT Canada Faculty of Engineering and Natural Sciences Sabanci University Istanbul Turkey

Methods for testing from finite state machine-based specifications often require the existence of a preset distinguishing sequence for constructing checking sequences. It has been shown that an adaptive distinguishing sequence is sufficient for these methods. This result is significant because adaptive distinguishing sequences are strictly more common and up to exponentially shorter than preset ones. However, there has been no study on the actual effect of using adaptive distinguishing sequences on the length of checking sequences. This paper describes experiments that show that checking sequences constructed using adaptive distinguishing sequences are almost consistently shorter than those based on preset distinguishing sequences. This is investigated for three different checking sequence generation methods and the results obtained from an extensive experimental study are given.

关键词： Circuit testing Object oriented modeling Fault detection Circuit faults Software engineering Mathematics Polynomials Automata System testing Sequential analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：