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

3rd Extreme Modeling Workshop, XM 2014, Co-located with ACM/IEEE 17th International Conference on Model Driven engineering Languages and Systems, MoDELS 2014

作者： Garmendia, Antonio Guerra, Esther Kolovos, Dimitrios S. De Lara, Juan Modelling and Software Engineering Group Computer Science Department Universidad Autónoma de Madrid Spain Enterprise Systems Group Computer Science Department University of York United Kingdom

Model-Driven engineering aims at reducing the cost of system development by raising the level of abstraction at which developers work. Thus, models become the main assets in this paradigm, guiding the development until code for the final application is obtained. However, even though domain-specific, models may become large and complex, becoming cumbersome to edit and manipulate. In this scenario, mechanisms helping in the agile definition and management of models in the large are crucial. Modularity is one of such mechanisms. In this paper, we describe a novel approach to the construction of EMF models in a structured way. It is based on the annotation of the Ecore meta-models with modularity concepts (like project, package and unit), from which we generate an Eclipse plug-in that enables the editing of models according to that structure (i.e., organized in projects and decomposed into folders and files). The paper presents our supporting tool and discusses benefits and future challenges.

关键词： Agile manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017): Part 3 Antwerp, Belgium. 15-20 July 2017 Abstracts

引用

BMC NEUROSCIENCE 2017年第SUPPL 1期18卷 95-176页

作者： [Anonymous] Department of Neuroscience Yale University New Haven CT 06520 USA Department Physiology & Pharmacology SUNY Downstate Brooklyn NY 11203 USA NYU School of Engineering 6 MetroTech Center Brooklyn NY 11201 USA Departament de Matemàtica Aplicada Universitat Politècnica de Catalunya Barcelona 08028 Spain Institut de Neurobiologie de la Méditerrannée (INMED) INSERM UMR901 Aix-Marseille Univ Marseille France Center of Neural Science New York University New York NY USA Aix-Marseille Univ INSERM INS Inst Neurosci Syst Marseille France Laboratoire de Physique Théorique et Modélisation CNRS UMR 8089 Université de Cergy-Pontoise 95300 Cergy-Pontoise Cedex France Department of Mathematics and Computer Science ENSAT Abdelmalek Essaadi’s University Tangier Morocco Laboratory of Natural Computation Department of Information and Electrical Engineering and Applied Mathematics University of Salerno 84084 Fisciano SA Italy Department of Medicine University of Salerno 84083 Lancusi SA Italy Dipartimento di Fisica Università degli Studi Aldo Moro Bari and INFN Sezione Di Bari Italy Data Analysis Department Ghent University Ghent Belgium Coma Science Group University of Liège Liège Belgium Cruces Hospital and Ikerbasque Research Center Bilbao Spain BIOtech Department of Industrial Engineering University of Trento and IRCS-PAT FBK 38010 Trento Italy Department of Data Analysis Ghent University Ghent 9000 Belgium The Wellcome Trust Centre for Neuroimaging University College London London WC1N 3BG UK Department of Electronic Engineering NED University of Engineering and Technology Karachi Pakistan Blue Brain Project École Polytechnique Fédérale de Lausanne Lausanne Switzerland Departement of Mathematics Swansea University Swansea Wales UK Laboratory for Topology and Neuroscience at the Brain Mind Institute École polytechnique fédérale de Lausanne Lausanne Switzerland Institute of Mathematics University of Aberdeen Aberdeen Scotland UK Department of Integrativ

来源：评论

学校读者我要写书评

暂无评论

DEMONSTRATING THE SYNERGY BETWEEN CAC AND SCHEDULING IN WIRELESS NETWORKS

引用

International Journal of Modeling, Simulation, and Scientific Computing 2013年第1期4卷 96-118页

作者： PAOLO PILEGGI GIUSEPPE IAZEOLLA PIETER KRITZINGER Networking Group University of Rome‘Tor Vergata’ Italy Software Engineering and System Performance Modelling Group University of Rome‘Tor Vergata’ Italy Communications Research Group Department of Electrical Engineering University of Cape Town South Africa

Wireless technology is now an integral part of communication network *** their first beginnings,such as connection-oriented General System Mobile networks for voice traffic only and connectionless wireless local area networks for data traffic,new generation wireless networks are connection-oriented and provide differentiated services to the *** the arrival of more sophisticated services and mobility,have arisen the need for Connection Admission Control and traffic scheduling in the network to enhance the quality of experience(QoE)of the user and optimizing the revenue in dynamic workload environments.A great deal of research effort has gone into the study of the performance of one such network standard,namely the IEEE 802.16 *** optimization studies focus on scheduling(a very mature subject in computing)and ignore connection admission(a very mature subject in telephone engineering)or vice *** this paper we claim that one should not study the two in isolation and provide empirical evidence to prove our claim.

关键词： Scheduling connection admission control simulation IEEE 802.16 differentiated services.

来源：评论

学校读者我要写书评

暂无评论

How useful are existing monitoring languages for securing Android apps?

How useful are existing monitoring languages for securing An...

引用

Multi-Conference on software engineering, SE 2013

作者： Arzt, Steven Falzon, Kevin Follner, Andreas Rasthofer, Siegfried Bodden, Eric Stolz, Volker Secure Software Engineering Group EC SPRIDE Technische Universität Darmstadt Germany Precise Modelling and Analysis Group University of Oslo Norway

ISBN: (纸本)9783885796091

The Android operating system is currently dominating the mobile device market in terms of penetration and growth rate. An important contributor to its success are a wealth of cheap and easy-to-install mobile applications, known as apps. Today, installing untrusted apps is the norm, though this comes with risks: malware is ubiquitous and can easily leak confidential and sensitive data. In this work, we investigate the extent to which we can specify complex information flow properties using existing specification languages for runtime monitoring, with the goal to encapsulate potentially harmful apps and prevent private data from leaking. By modelling a set of representative, Android-specific security policies with Tracematches, JavaMOP, Dataflow Pointcuts and PQL, we are able to identify policylanguage features that are crucial for effectively defining runtime-enforceable Android security properties. Our evaluation demonstrates that while certain property languages suit our purposes better than others, they all lack essential features that would, if present, allow users to provide effective security guarantees about apps. We discuss those shortcomings and propose several possible mechanisms to overcome them. © Gesellschaft für Informatik, Bonn 2013.

关键词： Information leakage

来源：评论

学校读者我要写书评

暂无评论

Timed hazard analysis of self-healing systems

Timed hazard analysis of self-healing systems

引用

ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems, ASAS 2011

作者： Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Software Engineering Group University of Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Germany Software Engineering Division Chalmers University of Technology University of Gothenburg Sweden

ISBN: (纸本)9783642362484

Self-healing can be used to reduce hazards in embedded real-time systems which are applied in safety-critical environments. These systems may react to failures by a structural reconfiguration of the architecture during runtime. This means the exchange of components or the modification of the components' connections, in order to avoid that a failure results in a hazard. This reaction is subject to hard real-time constraints because reacting too late does not yield the intended effects. Consequently, it is necessary to analyze the propagation of failures in the architectural configuration over time with respect to the structural reconfiguration. However, current approaches do not take into account the timing properties of the failure propagation and the structural reconfiguration. In this paper, we present a hazard analysis approach which specifically considers these timing properties. We illustrate our approach by an example case study from the RailCab project. Further, we demonstrate the scalability of the approach by experiments. © 2013 Springer-Verlag.

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

Model-driven development with mechatronic UML

引用

Lecture Notes in Computer Science

作者： Schäfer, Wilhelm Wehrheim, Heike Heinz Nixdorf Institute Software Engineering Group University of Paderborn Warburger Str. 100 Paderborn 33098 Germany Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn 33098 Germany

ISBN: (纸本)3642173217

Today, mechanical engineering products can largely be classified as mechatronic systems, i.e. systems integrating electrical and mechanical components with software. Mechatronic systems are often employed in safety-critical areas, for instance in the automotive or railway domain. Mechatronic UML is a UML profile specifically tailored towards the modelling of mechatronic systems. It aims at bringing model-based design and formal analysis to the mechatronic area, which has originally been dominated by engineering techniques. In this paper we give a survey of the modelling as well as verification techniques supported by Mechatronic UML. © 2010 Springer-Verlag Berlin Heidelberg.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

A review of particle swarm optimization. Part I: Background and development

引用

Natural Computing 2007年第4期6卷 467-484页

作者： Banks, Alec Vincent, Jonathan Anyakoha, Chukwudi Tornado In-Service Software Maintenance Team Royal Air Force Boscombe Down Wiltshire United Kingdom Software Systems Modelling Group School of Design Engineering and Computing Bournemouth University Poole Dorset United Kingdom

Particle Swarm Optimization (PSO), in its present form, has been in existence for roughly a decade, with formative research in related domains (such as social modelling, computer graphics, simulation and animation of natural swarms or flocks) for some years before that;a relatively short time compared with some of the other natural computing paradigms such as artificial neural networks and evolutionary computation. However, in that short period, PSO has gained widespread appeal amongst researchers and has been shown to offer good performance in a variety of application domains, with potential for hybridisation and specialisation, and demonstration of some interesting emergent behaviour. This paper aims to offer a compendious and timely review of the field and the challenges and opportunities offered by this welcome addition to the optimization toolbox. Part I discusses the location of PSO within the broader domain of natural computing, considers the development of the algorithm, and refinements introduced to prevent swarm stagnation and tackle dynamic environments. Part II considers current research in hybridisation, combinatorial problems, multicriteria and constrained optimization, and a range of indicative application areas. © Springer Science+Business Media B.V. 2007.

关键词： Natural computing Particle swarm optimization

来源：评论

学校读者我要写书评

暂无评论

A review of particle swarm optimization. Part II: hybridisation, combinatorial, multicriteria and constrained optimization, and indicative applications

引用

Natural Computing 2007年第1期7卷 109-124页

作者： Alec Banks Jonathan Vincent Chukwudi Anyakoha Tornado In-Service Software Maintenance Team Royal Air Force Wiltshire UK Software Systems Modelling Group School of Design Engineering and Computing Bournemouth University Poole UK

Particle Swarm Optimization (PSO), in its present form, has been in existence for roughly a decade, with formative research in related domains (such as social modelling, computer graphics, simulation and animation of natural swarms or flocks) for some years before that; a relatively short time compared with some of the other natural computing paradigms such as artificial neural networks and evolutionary computation. However, in that short period, PSO has gained widespread appeal amongst researchers and has been shown to offer good performance in a variety of application domains, with potential for hybridisation and specialisation, and demonstration of some interesting emergent behaviour. This paper aims to offer a compendious and timely review of the field and the challenges and opportunities offered by this welcome addition to the optimization toolbox. Part I discusses the location of PSO within the broader domain of natural computing, considers the development of the algorithm, and refinements introduced to prevent swarm stagnation and tackle dynamic environments. Part II considers current research in hybridisation, combinatorial problems, multicriteria and constrained optimization, and a range of indicative application areas.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A User-Centred Design Approach For Agent Based E-Business Systems

A User-Centred Design Approach For Agent Based E-Business Sy...

引用

IEEE International Conference on e-Business engineering (ICEBE)

作者： Rahat Iqbal Nazaraf Hussain Shah Kuo-ming Chao Anne James Distributed Systems and Modelling Research Group Faculty of Engineering and Computing Coventry University UK Software Engineering Research Group Sheffield Hallam University Sheffield UK

An important aspect of designing for ubiquitous e-business applications is addressing the issues concerning user requirements and culture in which the system is to be deployed. The value of ethnographic analysis in this respect is gaining increasing acceptance. In this paper, we present an approach based on ethnography and multi-agents systems to address these issues. The usage of ethnographic approach provides an understanding of user requirements and explains the semantics, functionality and detailed business needs of e-business applications. We also stress the need of employing artificial intelligent agents that are suitable for e-business applications due to their autonomy, flexible behaviour and negotiating capabilities. Secondly, ethnographic concepts can directly be mapped onto the BDI (belief desire, intention) model of an agent. In this paper, we also demonstrate the usefulness of this approach by presenting a real life case study of a tailoring system

关键词： User centered design Multiagent systems Intelligent agent Humans Large-scale systems Computational modeling Chaos Design engineering Distributed computing Pervasive computing

来源：评论

学校读者我要写书评

暂无评论

Urban Air Quality: Measurement, modelling and Management 1

引用

1000年

作者： Ranjeet S. Sokhi Roberto San José Nicolas Moussiopoulos Ruwim Berkowicz

ISBN: (数字)9789401009324

ISBN: (纸本)9780792366768;9789401037969

Since the first international conference on urban air quality, held at the University ofHertfordshire in 1996, significant advances have taken place in the field of urban air pollution. In addition to the scientific advances in the measurement, modelling and management of urban air quality, significant progress has been achieved in relation to the establishment of major frameworks to ensure a more effective mechanism for international collaboration. Two such frameworks are SATURN (Studying Atmospheric Pollution in Urban Areas) and TRAPOS (Optimisation of modelling Methods for Traffic Pollution in Streets). In response to such advances, the second international conference was held at the Technical University of Madrid in March 1999 with active participation of SATURN and TRAPOS investigators. The organisation of the conference was headed by the Institute of Physics in collaboration with the Technical University of Madrid and the University of Hertfordshire. The support of IUAPPA and AWMA ensured a truly worldwide promotion and participation. The meeting attracted 140 scientists from 26 different countries establishing it as a major forum for exchanging and discussing the latest research fmdings in this field.

关键词： Atmospheric Protection/Air Quality Control/Air Pollution Atmospheric Sciences Physical Chemistry Measurement Science and Instrumentation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：