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

7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

作者： Antignac, Thibaud Scandariato, Riccardo Schneider, Gerardo Chalmers Univ Gothenburg Dept Comp Sci & Engn Gothenburg Sweden

ISBN: (纸本)9783319471662;9783319471655

Handling personal data adequately is one of the biggest challenges of our era. Consequently, law and regulations are in the process of being released, like the European General data Protection Regulation (GDPR), which attempt to deal with these challenging issue early on. The core question motivating this work is how software developers can validate their technical design vis-a-vis the prescriptions of the privacy legislation. In this paper, we outline the technical concepts related to privacy that need to be taken into consideration in a software design. Second, we extend a popular design notation in order to support the privacy concepts illustrated in the previous point. Third, we show how some of the prescriptions of the privacy legislation and standards may be related to a technical design that employs our enriched notation, which would facilitate reasoning about compliance.

关键词： Privacy Conceptual model data flow diagrams

来源：评论

学校读者我要写书评

暂无评论

Using flow diagrams to improve tobacco cessation programs

引用

INTERNATIONAL JOURNAL OF HEALTH CARE QUALITY ASSURANCE 2017年第5期30卷 436-444页

作者： Dziadkowiec, Oliwier Jenniges, Reese Univ Colorado Denver Coll Nursing Anschutz Med Campus Aurora CO 80045 USA Boulder Cty IMPACT Boulder CO USA

Purpose - The purpose of this paper is to understand how the Wyoming Quit Tobacco Program (WQTP) is used by its subscribers and to better understand how WQTP might be connected to WQTP outcomes. Design/methodology/approach - Provider intake and program use data corresponding to the May 2010 to March 2012 enrollment period (n = 6,168) were used. All program flows were constructed using frequencies and crosstabs, based on an initial theoretical model prepared by the program provider. data were adjusted based on analysis that explored all possible uses beyond those specified by the provider's theoretical model. Findings - Although the authors could replicate the structure - the theoretical model constructed by the provider - the authors were not able to replicate all relationships between program components. The authors also found that most individuals signed up and used web-based services. Only a few individuals finished their treatment regimens in the way they were designed to be used by the program. Originality/value - This is the first case study to use a program flow method to investigate an entire comprehensive tobacco cessation program structure and delivery.

关键词： Process design Quality improvement data flow diagrams Tobacco cessation Tobacco cessation program

来源：评论

学校读者我要写书评

暂无评论

Unified Profiling of Attackers via Domain Modeling 24

Unified Profiling of Attackers via Domain Modeling

引用

24th IEEE International Requirements Engineering Conference Workshops (RWE)

作者： Hussein, Nesrin Wang, Wentao Nedelec, Joseph L. Wei, Xuetao Niu, Nan Univ Cincinnati Dept Elect Engn & Comp Syst Cincinnati OH 45221 USA Univ Cincinnati Sch Criminal Justice Cincinnati OH 45221 USA Univ Cincinnati Sch Informat Technol Cincinnati OH 45221 USA

ISBN: (纸本)9781509036943

In this position paper, we present our interdisciplinary research into a unified account of profiling attackers for software-intensive systems. Our work draws on the principles from requirements engineering and criminology. Specifically, we show how a unified crime theory can be adapted to model the attackers and their degree of knowledge about the environment in which the software operates. We illustrate our approach through an example based on i* and data flow modeling, and discuss future research directions indicated by our preliminary results.

关键词： Requirements engineering criminal profiling stakeholder and domain modeling i data flow diagrams

来源：评论

学校读者我要写书评

暂无评论

Designing a Power Converter with an Adaptive Control System for Ultrasonic Processing Units

Designing a Power Converter with an Adaptive Control System ...

引用

Conference on Modern Engineering - Science and Education (MSME)

作者： Diagilev, Vladimir I. Kokovin, Valery A. Uvaysov, Saygid U. Int Univ Dubna Nat Soc & Man Publ Inst Higher Educ Moscow Reg Branch Protvino Severny Pas 9 Protvino 142281 Russia NRU HSE Moscow 101000 Russia

We describe the features of circuit design construction and design of power converters included in ultrasonic process plants. We discuss the results of simulation of an equivalent circuit of the power converter. We th... 详细信息

ISBN: (纸本)9783319156842;9783319156835

关键词： Ultrasound technology The power converter data flows data flow diagrams

来源：评论

学校读者我要写书评

暂无评论

Why is data Sharing in Collaborative Natural Resource Efforts so Hard and What can We Do to Improve it?

引用

ENVIRONMENTAL MANAGEMENT 2014年第5期53卷 883-893页

作者： Volk, Carol J. Lucero, Yasmin Barnas, Katie South Fork Res Inc North Bend WA 98045 USA Signal Noise Consulting Santa Monica CA 90405 USA NOAA Fisheries NW Fisheries Sci Ctr Seattle WA 98112 USA

Increasingly, research and management in natural resource science rely on very large datasets compiled from multiple sources. While it is generally good to have more data, utilizing large, complex datasets has introduced challenges in data sharing, especially for collaborating researchers in disparate locations ("distributed research teams"). We surveyed natural resource scientists about common data-sharing problems. The major issues identified by our survey respondents (n = 118) when providing data were lack of clarity in the data request (including format of data requested). When receiving data, survey respondents reported various insufficiencies in documentation describing the data (e.g., no data collection description/no protocol, data aggregated, or summarized without explanation). Since metadata, or "information about the data," is a central obstacle in efficient data handling, we suggest documenting metadata through data dictionaries, protocols, read-me files, explicit null value documentation, and process metadata as essential to any large-scale research program. We advocate for all researchers, but especially those involved in distributed teams to alleviate these problems with the use of several readily available communication strategies including the use of organizational charts to define roles, data flow diagrams to outline procedures and timelines, and data update cycles to guide data-handling expectations. In particular, we argue that distributed research teams magnify data-sharing challenges making data management training even more crucial for natural resource scientists. If natural resource scientists fail to overcome communication and metadata documentation issues, then negative data-sharing experiences will likely continue to undermine the success of many large-scale collaborative projects.

关键词： Natural resource management Metadata data sharing data flow diagrams Distributed teams data transfer

来源：评论

学校读者我要写书评

暂无评论

Decision factors for e-waste in Northern Mexico: To waste or trade

引用

RESOURCES CONSERVATION AND RECYCLING 2014年 86卷 93-106页

作者： Estrada-Ayub, Jesus. A. Kahhat, Ramzy Global Inst Sustainabil Tecnol Monterrey Mexico City 14380 DF Mexico Pontificia Univ Catolica Peru Dept Engn Lima Peru

Currently, around the globe, environmental and social problems derive from the inappropriate recycling of electronic products. Moreover, improper recycling is not the only issue to address in electronic products. Others include: energy intensity in their manufacture, employment generation related to the international trade in used electronics, and access to technology by low-income communities. Nevertheless, policies and controls created to provide socially and environmentally sound management of used electronics do not match the complexity of the system. In order to understand the e-waste system, particularly used computers, as a whole, a field study was done between 2010 and 2011 in ten Mexican cities. Ninety-five diverse stakeholders were interviewed to uncover factors regarding the decision to waste or trade still-usable computers. Structured analysis was used to create data flow diagrams (DFDs) to describe the critical parts of the system. The results show that perceived value and geographical location determine the rate in which computers are disposed and the opportunities to waste or trade them, including the trade of their materials. Among businesses and other organizations, legislation has a stronger effect. Technological change is another important factor, largely driving the change in materials and new products. Designing policies responding to this diversity may prevent unforeseen problems and stimulate solutions. (C) 2014 Elsevier B.V. All rights reserved.

关键词： E-waste Used computers data flow diagrams Waste management Recycling Reuse

来源：评论

学校读者我要写书评

暂无评论

Drawing layered graphs with port constraints

引用

JOURNAL OF VISUAL LANGUAGES AND COMPUTING 2014年第2期25卷 89-106页

作者： Schulze, Christoph Daniel Spoenemann, Miro von Hanxleden, Reinhard Univ Kiel Dept Comp Sci D-24098 Kiel Germany

Complex software systems are often modeled using data flow diagrams, in which nodes are connected to each other through dedicated connection points called ports. The influence a layout algorithm has on the placement of ports is determined by port constraints defined on the corresponding node. In this paper we present approaches for integrating port constraints into the layer-based approach to graph drawing pioneered by Sugiyama et al. We show how our layout algorithm, called KLay Layered, progresses from relaxed to more restricted port constraint levels as it executes, and how established algorithms for crossing minimization and edge routing can be extended to support port constraints. Compared to the previous layout algorithms supporting ports, our algorithm produces fewer edge crossings and bends and yields pleasing results. We also explain and evaluate how layout algorithms can be kept simple by using the concept of intermediate processors to structure them in a modular way. A case study integrating our layout algorithm into UC Berkeley's Ptolemy tool illustrates how KLay Layered can be integrated into Java-based applications. (C) 2013 Elsevier Ltd. All rights reserved.

关键词： Graph drawing Crossing minimization Port constraints Layered graphs data flow diagrams

来源：评论

学校读者我要写书评

暂无评论

Online Banking Security Analysis based on STRIDE Threat Model

引用

INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS 2014年第2期8卷 271-282页

作者： Tong Xin Ban Xiaofang China Informat Technol Secur Evaluat Ctr Dept Informat Syst Evaluat Beijing Peoples R China

This paper refers important issues regarding how to evaluate the security threats of the online banking effectively, a system threat analysis method combining STRIDE threat model and threat tree analysis is proposed, which improves the efficiency of the threat analysis greatly and also has good practicability. By applying this method to the online banking system threat analysis, we construct STRIDE threat model on the analysis of the key business data, and then we construct threat tree on the security threat by layer-by-layer decomposition. Thus it gives a detailed threat analysis of the online banking system. This security threat analysis has important significance for the online banking system security analysis and for revealing the threats that the online banking facing.

关键词： Threat modeling data flow diagrams online banking STRIDE threat model data stream threat tree

来源：评论

学校读者我要写书评

暂无评论

Detecting and Visualizing Inter-worksheet Smells in Spreadsheets

Detecting and Visualizing Inter-worksheet Smells in Spreadsh...

引用

34th International Conference on Software Engineering (ICSE)

作者： Hermans, Felienne Pinzger, Martin van Deursen, Arie Delft Univ Technol Software Engn Res Grp Delft Netherlands

ISBN: (纸本)9781467310673

Spreadsheets are often used in business, for simple tasks, as well as for mission critical tasks such as finance or forecasting. Similar to software, some spreadsheets are of better quality than others, for instance with respect to usability, maintainability or reliability. In contrast with software however, spreadsheets are rarely checked, tested or certified. In this paper, we aim at developing an approach for detecting smells that indicate weak points in a spreadsheet's design. To that end we first study code smells and transform these code smells to their spreadsheet counterparts. We then present an approach to detect the smells, and to communicate located smells to spreadsheet users with data flow diagrams. To evaluate our apporach, we analyzed occurrences of these smells in the Euses corpus. Furthermore we conducted ten case studies in an industrial setting. The results of the evaluation indicate that smells can indeed reveal weaknesses in a spreadsheet's design, and that data flow diagrams are an appropriate way to show those weaknesses.

关键词： spreadsheets code smells refactoring data flow diagrams

来源：评论

学校读者我要写书评

暂无评论

Supporting Professional Spreadsheet Users by Generating Leveled dataflow diagrams 11

Supporting Professional Spreadsheet Users by Generating Leve...

引用

33rd International Conference on Software Engineering (ICSE)

作者： Hermans, Felienne Pinzger, Martin van Deursen, Arie Delft Univ Technol NL-2600 AA Delft Netherlands

ISBN: (纸本)9781450304450

Thanks to their flexibility and intuitive programming model, spreadsheets are widely used in industry, often for business-critical applications. Similar to software developers, professional spreadsheet users demand support for maintaining and transferring their spreadsheets. In this paper, we first study the problems and information needs of professional spreadsheet users by means of a survey conducted at a large financial company. Based on these needs, we then present an approach that extracts this information from spreadsheets and presents it in a compact and easy to understand way, with leveled dataflow diagrams. Our approach comes with three different views on the dataflow that allow the user to analyze the dataflow diagrams in a top-down fashion. To evaluate the usefulness of the proposed approach, we conducted a series of interviews as well as nine case studies in an industrial setting. The results of the evaluation clearly indicate the demand for and usefulness of our approach in ease the understanding of spreadsheets.

关键词： data flow diagrams Visualization Spreadsheets End-User programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：