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

1st International Conference on Advances in computer-Human Interaction, ACHI 2008

作者： Padda, Harkirat Mudur, Sudhir Seffah, Ahmed Joshi, Yojana Department of Computer Science and Software Engineering Concordia University Montreal Canada Cimmetry Systems Corporation Montreal Canada

ISBN: (纸本)0769530869

Visual comprehension is the characteristic that deals with how efficiently and effectively users are able to grasp the underlying design intent along with the interactions to explore the visually represented information. To assess comprehension i.e. to measure this seemingly immeasurable factor of visualization systems, we are proposing a set of criteria based on a detailed analysis of information flow from the raw data to the cognition of information in human mind. Our comprehension criteria are adapted from the pioneering work of two eminent researchers - Donald A. Norman and Aaron Marcus, who have investigated the issues of human perception and cognition, and visual effectiveness respectively. These proposed criteria are refined by experts' opinion in order to compose a minimal evaluation set that is then applied to a bioinformatics visualization study tool to show the efficacy of criteria in assessing comprehension in a more quantitative manner. © 2008 IEEE.

关键词： Data visualization

来源：评论

学校读者我要写书评

暂无评论

An EMF-like UML generator for C++ 4

An EMF-like UML generator for C++

引用

4th International Conference on Model-Driven engineering and software Development, MODELSWARD 2016

作者： Jäger, Sven Maschotta, Ralph Jungebloud, Tino Wichmann, Alexander Zimmermann, Armin Systems and Software Engineering Group Computer Science and Automation Department Technische Universität Ilmenau Ilmenau Germany

ISBN: (纸本)9789897581687

Model-driven architecture is a well-known approach for the development of complex software systems. The most famous tool chain is provided by Eclipse with the tools of the Eclipse modeling project. Like Eclipse itself, these tools are based on Java. However, there are numerous legacy software packages written in C++, which often use only an implicit meta-model. A real C++ implementation of this meta-model would be necessary instead to be used at run time. This paper presents a generator for C++ to create the classes, meta-model packages, and factories to realize modeling, transformation, validation, and comparison of UML models. It gives an overview of its workflow and major challenges. Moreover, a comparison between Java and C++ implementations is given, considering different benchmarks. © Copyright 2016 by SCITEPRESS - science and Technology Publications, Lda. All rights reserved.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Model-based methodology for implementing MARTE in embedded real-time software

Model-based methodology for implementing MARTE in embedded r...

引用

IEEE Symposium on computers and Informatics

作者： Zaki, Mohd Zulkifli Mohd Jawawi, Dayang Norhayati Abg Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81310 Johor Malaysia

ISBN: (纸本)9781612846903

This paper presents an integration of a model-based methodology for embedded real-time software with MARTE. However, although has being introduced as a new profile to overcome problem in previous profile, a sound and systematic methodology is necessary to tackle complexity problem that arise. The objective of this paper is to propose an integration of profile and method for satisfying embedded real-time software requirements and helping engineers to model their system, enhancing the structure and behavior modeling. For that, this paper describes a proposed methodology for the integration process, involving two elements: a profile and a method. The integration result will support to solve complexity whereby the profile is used to solve the lack of specific modeling language notation for embedded real-time system and the method can provide a systematical software process. The proposed integration component model is applied on a case study to show its enhancements. © 2011 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

PSCS4CPP: A Generative PSCS Implementation for C++ 1

引用

Model-Driven engineering and software Development - 9th International Conference, MODELSWARD 2021, and 10th International Conference, MODELSWARD 2022, Revised Selected Papers

作者： Hammer, Maximilian Maschotta, Ralph Wichmann, Alexander Jungebloud, Tino Bedini, Francesco Zimmermann, Armin Systems and Software Engineering Group Computer Science and Automation Department Technische Universität Ilmenau Ilmenau Germany

ISBN: (数字)9783031388217

ISBN: (纸本)9783031388200

Since the early 2000s, Model-driven engineering has aimed to accomplish executable UML models. With fUML and PSCS, the Object Management Group (OMG) published standardized specifications of precise semantics for certain parts of UML in the form of metamodels, which form an execution environment. A certain characteristic of these environments is that static information about a model is analyzed and evaluated during runtime. With composite structures being a concept for describing structural properties of a model, the majority of execution semantics specified by PSCS concern analysis and processing of such static information about the model’s fine-grained structure. Thus, the PSCS specification appears suitable for a generative realization approach. Using Model-To-Text-Transformation to generate source code, which serves as an input for the actual execution environment, the runtime level of model executions can be relieved by outsourcing analysis and processing of static information to the level of code generation. By inserting this preprocessing step, the performance of the actual model execution at runtime can be improved. This paper introduces an implementation of the PSCS specification for C++ based on code generation using Model-to-Text-Transformation. This also includes a generative approach to realize an extension mechanism of the fUML and PSCS execution environments by introducing user-defined semantic execution strategies. The proposed PSCS implementation was developed as a part of the MDE4CPP project. Moreover, this paper presents a set of test models validating the correct functionality of the implementation as well as a performance benchmark. Finally, analysis results of an application example for the presented realization are evaluated and discussed. © 2023, Springer Nature Switzerland AG.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Support for the file system security requirements of computational e-mail systems 94

Support for the file system security requirements of computa...

引用

Proceedings of the 2nd ACM Conference on computer and Communications Security

作者： Jaeger, Trent Prakash, Atul Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI

ISBN: (纸本)9780897917322

Computational e-mail systems, which allow mail messages to contain command scripts that automatically execute upon receipt, can be used as a basis for building a variety of collaborative applications. However, their use also presents a serious security problem because a command script from a sender may access/modify receiver's private files or execute applications on receiver's behalf. Existing solutions to the problem either severely restrict I/O capability of scripts, limiting the range of applications that can be supported over computational e-mail, or permit all I/O to scripts, potentially compromising the security of the receiver's files. Our model, called the intersection model of security, permits I/O for e-mail from trusted senders but without compromising the security of private files. We describe two implementations of our security model: an interpreter-level implementation and an operating systems-level implementation. We discuss the tradeoffs between the two implementations and suggest directions for future work.

关键词： file systems security computer-supported cooperative work active email groupware collaboration technology computational email

来源：评论

学校读者我要写书评

暂无评论

Scope-Bounded Reachability in Valence systems 32

Scope-Bounded Reachability in Valence Systems

引用

32nd International Conference on Concurrency Theory, CONCUR 2021

作者： Shetty, Aneesh K. Krishna, S. Zetzsche, Georg Department of Computer Science and Engineering Iit Bombay India Max Planck Institute for Software Systems Kaiserslautern Germany

ISBN: (纸本)9783959772037

Multi-pushdown systems are a standard model for concurrent recursive programs, but they have an undecidable reachability problem. Therefore, there have been several proposals to underapproximate their sets of runs so that reachability in this underapproximation becomes decidable. One such underapproximation that covers a relatively high portion of runs is scope boundedness. In such a run, after each push to stack i, the corresponding pop operation must come within a bounded number of visits to stack i. In this work, we generalize this approach to a large class of infinite-state systems. For this, we consider the model of valence systems, which consist of a finite-state control and an infinitestate storage mechanism that is specified by a finite undirected graph. This framework captures pushdowns, vector addition systems, integer vector addition systems, and combinations thereof. For this framework, we propose a notion of scope boundedness that coincides with the classical notion when the storage mechanism happens to be a multi-pushdown. We show that with this notion, reachability can be decided in PSPACE for every storage mechanism in the framework. Moreover, we describe the full complexity landscape of this problem across all storage mechanisms, both in the case of (i) the scope bound being given as input and (ii) for fixed scope bounds. Finally, we provide an almost complete description of the complexity landscape if even a description of the storage mechanism is part of the input. © Aneesh K. Shetty, S. Krishna, and Georg Zetzsche;.

关键词： Vectors

来源：评论

学校读者我要写书评

暂无评论

An implementation of embedded real time system framework in service oriented architecture

An implementation of embedded real time system framework in ...

引用

4th International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC 2012

作者： Aghajani, Mahmood Jawawi, Dayang N. A. Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia Johor Bahru Malaysia

ISBN: (纸本)9780769548104

Currently, the complexity of embedded software is increased, hence, more efficient design approaches are demanded. Although component based design is well-defined for developing Embedded Real Time (ERT) systems, the design and implementation of ERT component software is slow and complex. Distributed ERT systems can reduce the complexity of a component and increase its reliability and re-usability as well. Currently, Service Oriented Architecture (SOA) is an excellent technology for the implementation of distributed software. Some platforms are introduced to implement the components in SOA concept such as Service Component Architecture (SCA) and OSGI (Open Services Gateway Initiative). SCA provides a hierarchical component composition, distributed configurations and an interconnection with various means to design and combine services. However, SCA is unable to discover and reference services dynamically. In contrast, OSGI focuses on loading the service component. The services can be stopped, loaded and unloaded in frameworks supported by OSGI. Hence, this paper proposes an integration of SCA and OSGI to introduce a new framework for the implementation of distributed ERT systems. © 2012 IEEE.

关键词： Information services

来源：评论

学校读者我要写书评

暂无评论

A Process Oriented Integration Model for Smart Health Services

引用

Intelligent Automation & Soft Computing 2023年第2期35卷 1369-1386页

作者： Farzana Kausar Gondal Syed Khuram Shahzad Muhammad Arfan Jaffar Muhammad Waseem Iqbal Department of Computer Science Superior UniversityLahore54600Pakistan Department of Informatics and Systems University of Management and TechnologyLahore54000Pakistan Faculty of Computer Science&IT Superior UniversityLahore54600Pakistan Department of Software Engineering Superior UniversityLahore54600Pakistan

Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its *** integrated solutions are also a need to deal with the social and environmental challenges,caused by increasing ***,the development of smart services’integrated network,within a city,is facing the bar-riers including;less efﬁcient collection and sharing of data,along with inadequate collaboration of software and *** to resolve these issues,this paper recommended a solution for a synchronous functionality in the smart services’integration process through modeling *** this integration modeling solution,atﬁrst,the service participants,processes and tasks of smart services are identiﬁed and then standard illustrations are developed for the better understand-ing of the integrated service group *** process modeling and notation(BPMN)language based models are developed and discussed for a devised case study,to test and experiment i.e.,for remote healthcare from a smart *** research is concluded with the integration process model application for the required data sharing among different service *** outcomes of the modeling are better understanding and attaining maximum automation that can be referenced and replicated.

关键词： Process modeling business process business process integration business process modeling and notation

来源：评论

学校读者我要写书评

暂无评论

Evaluation of UML MARTE, SoaML profiles for distributed embedded real-time systems development

Evaluation of UML MARTE, SoaML profiles for distributed embe...

引用

2011 5th Malaysian Conference in software engineering, MySEC 2011

作者： Aziz, Muhammad Waqar Mohamad, Radziah Jawawi, Dayang N. A. Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia Skudai Johor Malaysia

ISBN: (纸本)9781457715310

The successful implementation of Service-Oriented development of Distributed Embedded Real-time systems (DERTS) in the recent years has proved the importance of Service-Orientation over previous paradigms. However, efforts are still needed on systematic Service-Oriented design of DERTS, especially on the modelling of DERTS. The UML standard profile MARTE can be used for modelling of embedded real-time system while UML standard profile SoaML can be used to represent Service-Oriented concepts. Therefore, a thorough investigation of both standard profiles is needed to determine which parts of these profiles are useful for Service-Oriented DERTS development. This paper investigates these profiles in order to highlight the portions of the two profiles and provides some suggestions that can be utilized for Service-Oriented modelling of DERTS. The results of this investigation would be useful in developing a Service-Oriented based meta-model for DERTS. © 2011 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Investigating Security Threats in Information systems

Investigating Security Threats in Information Systems

引用

12th International-Business-Information-Management-Association Conference

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

ISBN: (纸本)9780982148914

Information security surveys are important inputs to private, public and government sectors in order to measure current status of information security threats. This paper examines the various types of threats that exist in Information systems (IS) in one of government supported hospital in Malaysia. The hospital has been equipped for a Total Hospital Information System (THIS). The data collected were from three different departments 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 that the most critical threat for the THIS is the power failure followed by acts of human error or failure and other technological factors. This research holds significant value in terms of providing a comprehensive list of potential threat categories in IS and subsequently taking the results of this step as input for the risk mitigation strategy. Keywords: Healthcare Information systems (HIS), Information systems (IS), Risk Analysis, Threats

关键词： Healthcare Information systems (HIS) Information systems (IS) Risk Analysis Threats

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：