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

Workshop on Models and Their Role in Collaboration, MoRoCo 2013 - Co-located with the 13th European Conference on computer Supported Cooperative Work, ECSCW 2013

作者： Bartelt, Christian Vogel, Martin Warnecke, Tim Software Systems Engineering Department for Computer Science University of Clausthal Germany

Most of the time developers make extensive use of software tools in a software development process to support them in their day-to-day work. One of the first and most important phases is the design phase. Here tools are missing which support the creative and collaborative workflow (parallel/distributed). At the moment software designers uses classic whiteboards in team meetings to express their ideas. Subsequently a coworker uses a mobile phone or a camera to take photos of the work and remodel the picture with a modeling tool. That process is very inconvenient, error-prone and hinders a creative modeling cycle. For overcoming this ineffective process this paper shows a new approach to use digital whiteboards to transform free hand sketches in formal models and back again while modeling in a distributed team. The approach is completely independent from a pre-defined modeling language. It provides an interactive training mode to learn new graphical syntax elements and map these elements to formal metamodel entities. Based on the approach a collaborative sketch and modeling infrastructure was implemented. Copyright © 2013 for the individual papers by the papers' authors.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

A taxonomy for software testing projects 10

A taxonomy for software testing projects

引用

10th Iberian Conference on Information systems and Technologies, CISTI 2015

作者： Villalón, Jose Calvo-Manzano Agustin, Gonzalo Cuevas Gilabert, Tomás San Feliu De Jesús Jimenez Puello, José Department Languages and Informatics Systems and Software Engineering Polytechnic University of Madrid UPM Madrid Spain Department of Computer Science University of Panama UP Panama Panama

ISBN: (纸本)9789899843455

This article establishes taxonomy for software testing projects, allowing the development team or testing personnel to identify the tests to which the project must be subjected for validation. The taxonomy is focused on identifying software projects according to their technology. To establish the taxonomy, a development method comprised of 5 phases was applied. The developed taxonomy is comprised of 9 categories and 27 subcategories and was validated by a group of information technology (IT) managers and professionals in the field of IT through the use of a survey. The results obtained from the survey are subjected to the Mann-Whitney U test, which indicates that the taxonomy is validated. The taxonomy can be implemented in development organizations with or without a testing team that provides a classification for technology projects. © 2015 AISTI.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

An open-source proactive security infrastructure for Business Process Management 26

An open-source proactive security infrastructure for Busines...

引用

26th International Business Information Management Association Conference - Innovation Management and Sustainable Economic Competitive Advantage: From Regional Development to Global Growth, IBIMA 2015

作者： Varela-Vaca, Angel Jesus Gómez-López, María Teresa Vargas, David Jiménez Gasca, Rafael M. Fábrega, Antonio J. Suárez Herrera, Pedro J. Abad Department of Computer Languages and Systems University of Seville Spain Department of Electronic Engineering Computer Systems and Automation University of Huelva Huelva Spain

ISBN: (纸本)9780986041952

Business Process Management systems (BPMS) have emerged in the IT arena as cornerstone in the automation and orchestration of complex services for organizations. These systems manage critical information that is crucial for the organizations. The potential cost and consequences of security threats could produce information loss for the reputation of organizations. Therefore, the early response regarding to the non-compliance of security requirement is a real necessity overall during the business process execution. Currently, an active response requires a human intervention with high know-how and expertise in both business process management and security. In this paper, we propose an initial work which presents an open-source proactive infrastructure for the automatic continuous monitoring and checking compliance of security requirements at runtime of business processes.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Data model extension for security event notification with dynamic risk assessment purpose

引用

Science China(Information Sciences) 2013年第11期56卷 36-44页

作者： David LOPEZ Oscar PASTOR Luis Javier GARCIA VILLALBA Group of Analysis Security and Systems (GASS) Department of Software Engineering and Artificial Intelligence (DISIA) School of Computer Science Universidad Complutense Madrid 28040 Spain

Dynamic risk assessment refers to a risk management framework where frequent updates of risk evaluation information are used to evaluate risk exposure,as close as possible to *** this paper,we present the incident object description exchange format extended model for dynamic risk *** format attempts to overcome the absence of integration and real-time communication between security systems and risk assessment *** model is based on the incident object definition exchange format,which is commonly used in the computer security incident response teams *** data model aims to facilitate a global vision of information systems risk by supplying real-time security events data to risk assessment tools based on renowned *** present a proof-of-concept scenario to demonstrate the usefulness of this integration and the proposed data model,and discuss the expected improvements.

关键词： dynamic risk assessment risk management DRA IODEF-DRA IODEF.

来源：评论

学校读者我要写书评

暂无评论

Empirical topological investigation of practical supply chains based on complex networks

引用

Chinese Physics B 2017年第11期26卷 144-150页

作者：廖好沈婧吴兴桐陈博奎周明洋 National Engineering Laboratory for Big Data Computing Systems Guangdong Province Key Laboratory of Popular High Performance ComputersCollege of Computer Science and Software Engineering Shenzhen University Department of Computer Science School of Computing National University of Singapore

The industrial supply chain networks basically capture the circulation of social resource, dominating the stability and efficiency of the industrial system. In this paper, we provide an empirical study of the topology of smartphone supply chain network. The supply chain network is constructed using open online data. Our experimental results show that the smartphone supply chain network has small-world feature with scale-free degree distribution, in which a few high degree nodes play a key role in the function and can effectively reduce the communication cost. We also detect the community structure to find the basic functional unit. It shows that information communication between nodes is crucial to improve the resource utilization. We should pay attention to the global resource configuration for such electronic production management.

关键词： China supply chain networks complex networks data science network science

来源：评论

学校读者我要写书评

暂无评论

Emerging case oriented agents for sustaining educational institutions going green towards environmental responsibility

引用

Journal of systems and Information Technology 2019年第2期21卷 186-214页

作者： Anthony Jnr, Bokolo Abdul Majid, Mazlina Romli, Awanis Department of Computer Science Norwegian University of Science and Technology NTNU Trondheim Norway Universiti Malaysia Pahang Faculty of Computer Systems and Software Engineering Kuantan Malaysia

Purpose: The purpose of this paper is to design a system deployment model that integrates case-based agent technique to develop an eco-responsibility decision support tool for greening educational institutions toward environmental responsibility. Design/methodology/approach: Data were collected through questionnaires distributed among a statistical population that comprised practitioners across educational institutions in Malaysia that implement green practices. The questionnaire measured the feasibility of the developed tool based on factors derived from the literature. Accordingly, descriptive, exploratory and factor analysis approach using statistical package for social sciences (SPSS) was used to test the feasibility of the developed tool. Findings: Results from descriptive analysis confirm the tool is feasible based on mean values that range from 4.1619 to 3.6508 on a five-point scale, indicating that the tool is effective in sustaining educational institutions going green. Besides, results from exploratory analysis verify the reliability of the tool based on the acceptable Cronbach’s alpha reliability coefficient score higher than 0.7 and Kaiser–Meyer–Olkin value being above 0.5. Finally, results from factor analysis reveal that the developed tool is usable, efficient, helpful, flexible and credible and supports educational institutions in going green at 88.44 per cent of the total variance, suggesting that the respondents are satisfied with the tool. Research limitations/implications: The sample population in this study comprises only practitioners from educational institutions in Malaysia. Theoretically, this research provides feasibility factors and associated items that can be used in evaluating developed information systems. Practical implications: Practically, this study develops an eco-responsibility decision support tool to facilitate green strategies and provides information on how practitioners in educational institutions can improve green growth. So

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

Corrections to “Prioritizing DevOps Implementation Guidelines for Sustainable software Projects”

引用

IEEE Access 2025年 13卷 20246-20246页

作者： Muhammad Zohaib Ahmed Alsanad Areej Abdullah Alhogail Software Engineering Department Lappeenranta-Lahti University of Technology Lappeenranta Finland Department of Information Systems College of Computer and Information Sciences STCs Artificial Intelligence Chair King Saud University Riyadh Saudi Arabia

Presents corrections to the paper, (Corrections to “Prioritizing DevOps Implementation Guidelines for Sustainable software Projects”).

关键词： DevOps software Guidelines

来源：评论

学校读者我要写书评

暂无评论

Human Tracking and Profiling for Risk Management 21

Human Tracking and Profiling for Risk Management

引用

21st International Conference on Advances in ICT for Emerging Regions, ICter 2021

作者： Ranjith, Vishaka Jayasekara, Anuj Ratnasooriya, Lahiru Jayasekara, Thilini Rupasinghe, Prabath Liyanapathirana, Chethana Department of Computer Science and Software Engineering Malabe Sri Lanka Department of Computer Systems Engineering Malabe Sri Lanka

ISBN: (纸本)9781665466837

Infectious viruses are conveyed via respiratory droplets produced by an infected person when they speak, sneeze, or cough. So, to combat virus transmission, the World Health Organization (WHO) has imposed severe regulations such as mandatory face mask use and social segregation in public spaces. The 'Human Tracking and Profiling for Risk Management System (HTPRM)' is an online application that identifies the risk associated with failing to follow proper health practices. This proposed approach, which is divided into four components, utilizes 'You Only Look Once (YOLOv3)' to detect face-mask danger, which would be determined based on two factors: wearing the face mask properly and the type of mask (Surgical,k95, homemade, and bare). The second phase is to use OpenCV and SSD-Mobilenet to evaluate the value of a one-meter space(Social Distance) between people. The system recognizes the maximum number of individuals that can be in the vicinity of the specific hall that uses YOLO(V3) and image processing as the third procedure. In the last processing, the system identifies each person's behavior, classifies it as uncommon or not, and calculates the risk associated with each category. Finally, the system computes the overall risk and generates a warning alarm to notify the user that they are in a dangerous scenario. © 2021 IEEE.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

PhenoProfiler: Advancing Phenotypic Learning for Image-based Drug Discovery

arXiv

引用

arXiv 2025年

作者： Li, Bo Zhang, Bob Zhang, Chengyang Zhou, Minghao Huang, Weiliang Wang, Shihang Wang, Qing Li, Mengran Zhang, Yong Song, Qianqian PAMI Research Group Department of Computer and Information Science University of Macau Taipa China Beijing Key Laboratory of Multimedia and Intelligent Software Technology Beijing Institute of Artificial Intelligence Beijing University of Technology Beijing China Department of Health Outcomes and Biomedical Informatics College of Medicine University of Florida Florida United States Faculty of Applied Sciences Macao Polytechnic University Taipa China School of Intelligent Systems Engineering Sun Yat-sen University Guangdong China Department of Cancer Biology Wake Forest School of Medicine Winston SalemNC United States

In the field of image-based drug discovery, capturing the phenotypic response of cells to various drug treatments and perturbations is a crucial step. This process involves transforming high-throughput cellular images into quantitative representations for downstream analysis. However, existing methods require computationally extensive and complex multi-step procedures, which can introduce inefficiencies, limit generalizability, and increase potential errors. To address these challenges, we present PhenoProfiler, an innovative model designed to efficiently and effectively extract morphological representations, enabling the elucidation of phenotypic changes induced by treatments. PhenoProfiler is designed as an end-to-end tool that processes whole-slide multi-channel images directly into low-dimensional quantitative representations, eliminating the extensive computational steps required by existing methods. It also includes a multi-objective learning module to enhance robustness, accuracy, and generalization in morphological representation learning. PhenoProfiler is rigorously evaluated on large-scale publicly available datasets, including over 230,000 whole-slide multi-channel images in end-to-end scenarios and more than 8.42 million single-cell images in non-end-to-end settings. Across these benchmarks, PhenoProfiler consistently outperforms state-of-the-art methods by up to 20%, demonstrating substantial improvements in both accuracy and robustness. Furthermore, PhenoProfiler uses a tailored phenotype correction strategy to emphasize relative phenotypic changes under treatments, facilitating the detection of biologically meaningful signals. UMAP visualizations of treatment profiles demonstrate PhenoProfiler’s ability to effectively cluster treatments with similar biological annotations, thereby enhancing interpretability. These findings establish PhenoProfiler as a scalable, generalizable, and robust tool for phenotypic learning, offering transformative advancement

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

A modeling framework for the development of provably secure E-commerce applications

A modeling framework for the development of provably secure ...

引用

2nd International Conference on software engineering Advances - ICSEA 2007

作者： Moebius, Nina Haneberg, Dominik Reif, Wolfgang Schellhorn, Gerhard Institute of Computer Science University Augsburg Department of Software Engineering and Programming Languages 86135 Augsburg Germany

ISBN: (纸本)0769529372

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical E-Commerce applications. We present an approach to model these applications with the unified modeling language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification. © 2007 IEEE.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：