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

4th International Workshop on Feature-Oriented Software Development, FOSD'12

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Costa, Paulo A.S. Maia, Paulo H.M. Vidal, Vania M.P. Werner, Claudia Department of Computer Science Federal University of Ceará Fortaleza Brazil Group of Computer Network Software Engineering and Systems - GREat Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9781450313094

Software product lines, usually described using feature models, have proven to be a feasible solution to develop mobile and context-aware applications. These applications use con- text information to provide services and data for their users from anywhere and at any time. However, building feature models for mobile and context-aware software product lines demands advanced skills of software engineers, since it comprises system and context information. Moreover, to guarantee a correct application execution, these models must be thoroughly specified, composed and verified to check whether some composition and adaptation rules are violated. Although this is an important task, there is a lack of formalization of such rules, which makes it difficult to use those rules for feature models verification. In this paper, we propose an approach to prevent defects in context-aware feature models and in their product reconfiguration based on formal methods. To validate our work, we developed a prototype to check the correctness of context-aware feature models. Copyright 2012 ACM.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Introducing software process tailoring to BPMN: BPMNt

Introducing software process tailoring to BPMN: BPMNt

引用

2012 International Conference on Software and System Process, ICSSP 2012

作者： Pillat, Raquel M. Oliveira, Toacy C. Fonseca, Fabio L. Systems Engineering and Computer Science Program - PESC / COPPE Federal University of Rio de Janeiro - UFRJ Rio de Janeiro Brazil

ISBN: (纸本)9781467323529

BPMN 2.0 is a widely used notation to model business process that has associated tools and techniques to facilitate process management, execution and monitoring. As a result using BPMN to model Software Development Process (SDP) can leverage on the BPMN's infrastructure to improve SDP quality. Nevertheless, when using BPMN to model Software Processes one can observe the lack of an important feature: means to represent process tailoring. This article introduces the BPMNt, a conservative extension to BPMN that aims at aggregating a tailoring representation mechanism as the one found at SPEM 2.0. BPMNt uses the extensibility classes already present in the BPMN meta-model. Our work also presents an example to illustrate the approach. © 2012 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Expressive secondo performances of a realtime person-computer ensemble system

Expressive secondo performances of a realtime person-compute...

引用

4th International Conference on Artificial Intelligence and Computational Intelligence, AICI 2012

作者： Mizutani, Tetsuya Shinagawa, Yuki Murakami, Naoki Igarashi, Shigeru Faculty of Engineering Information and Systems University of Tsukuba Japan Master's Program in Computer Science University of Tsukuba Japan University of Tsukuba Japan

ISBN: (纸本)9783642334771

A person-computer ensemble system is one of time concerned cooperative systems, which performs the secondo in an ensemble played by a computer-controlled piano cooperating with the primo played by a person musician. For expressive performances, it is necessary to prepare very expressive secondo data before the actual cooperative performance, since the system is modified its expression in realtime using the agogic information calculated from the input stream of the primo. In this paper, a generating method of more expressive performance of the secondo, using the notions musical structures and structural functions, are introduced. © 2012 Springer-Verlag.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Mediating process adaptation through a goal-oriented context-aware approach

Mediating process adaptation through a goal-oriented context...

引用

2012 IEEE 16th International Conference on computer Supported Cooperative Work in Design, CSCWD 2012

作者： Nunes, Vanessa Tavares Werner, Cláudia M. Lima Santoro, Flávia Maria COPPE/PESC - Systems Engineering and Computer Science Program UFRJ PO Box 68511 21945-970 Rio de Janeiro Brazil NP2Tec and Postgraduate Information Systems Program UNIRIO Rio de Janeiro Brazil

ISBN: (纸本)9781467312127

Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation on the way to organize work to address emerging demands. Market is demanding systems that are aware of organizations processes and able to evolve and adapt to new situations in everyday working activities. We argue that flexibility in processes could be managed in real time, by PAIS (Process-aware Information systems), using context information collected in the work environment. This paper proposes CGAdapt, a context management architecture approach that aims to improve and automate dynamic process adaptation. We explain how process adaptation may occur in real time through an existent scenario using this proposal and discuss the value of context-awareness to reason about process alternative adaptations in a goal oriented approach. © 2012 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Nanoinformatics workshop report: Current resources, community needs and the proposal of a collaborative framework for data sharing and information integration

引用

Computational Science and Discovery 2013年第1期6卷 14008页

作者： Harper, Stacey L. Hutchison, James E. Baker, Nathan Ostraat, Michele Tinkle, Sally Steevens, Jeffrey Hoover, Mark D. Adamick, Jessica Rajan, Krishna Gaheen, Sharon Cohen, Yoram Nel, Andre Cachau, Raul E. Tuominen, Mark Department of Environmental and Molecular Toxicology Oregon State University Corvallis OR United States School of Chemical Biological and Environmental Engineering Oregon State University Corvallis OR United States Department of Chemistry University of Oregon Eugene OR United States Pacific Northwest National Laboratory Richland WA United States RTI International Research Triangle Park NC United States Science and Technology Policy Institute Washington DC United States US Army Engineer Research and Development Center Vicksburg MS United States National Institute for Occupational Safety and Health Morgantown WV United States University Libraries University of Michigan Amherst MA United States Department of Materials Science and Engineering Iowa State University Ames IA United States SAIC Frederick Frederick MD United States Department of Chemical and Biomolecular Engineering University of California Los Angeles CA United States Center for Environmental Implications of Nanotechnology University of California Los Angeles CA United States Advanced Biomedical Computer Center Information Systems Program Frederick National Laboratory for Cancer Research Frederick MD United States Physics Department University of Massachusetts Amherst MA United States

The quantity of information on nanomaterial properties and behavior continues to grow rapidly. Without a concerted effort to collect, organize and mine disparate information coming out of current research efforts, the value and effective use of this information will be limited at best. Data will not be translated to knowledge. At worst, erroneous conclusions will be drawn and future research may be misdirected. Nanoinformatics can be a powerful approach to enhance the value of global information in nanoscience and nanotechnology. Much progress has been made through grassroots efforts in nanoinformatics resulting in a multitude of resources and tools for nanoscience researchers. In 2012, the nanoinformatics community believed it was important to critically evaluate and refine currently available nanoinformatics approaches in order to best inform the science and support the future of predictive nanotechnology. The Greener Nano 2012: Nanoinformatics Tools and Resources Workshop brought together informatics groups with materials scientists active in nanoscience research to evaluate and reflect on the tools and resources that have recently emerged in support of predictive nanotechnology. The workshop goals were to establish a better understanding of current nanoinformatics approaches and to clearly define immediate and projected informatics infrastructure needs of the nanotechnology community. The theme of nanotechnology environmental health and safety (nanoEHS) was used to provide real-world, concrete examples on how informatics can be utilized to advance our knowledge and guide nanoscience. The benefit here is that the same properties that impact the performance of products could also be the properties that inform EHS. From a decision management standpoint, the dual use of such data should be considered a priority. Key outcomes include a proposed collaborative framework for data collection, data sharing and information integration. © 2013 IOP Publishing Ltd.

关键词： Data integration

来源：评论

学校读者我要写书评

暂无评论

11th German Conference on Chemoinformatics (GCC 2015) Abstracts

引用

JOURNAL OF CHEMINFORMATICS 2016年第SUPPL 1期8卷 1-27页

作者： [Anonymous] GDCh-CIC Division Associated Board Member Beilstein-Institut zur Förderung der Chemischen Wissenschaften Trakehner Str. 7-9 60487 Frankfurt Germany. ufechner@beilstein-institut.de. Division Medicinal Chemistry Amsterdam Institute for Molecules Medicines and Systems (AIMMS) VU University Amsterdam The Netherlands. Centre for Bioinformatics Uni Hamburg Bundesstr. 43 20146 Hamburg Germany. Sanofi-Aventis Deutschland GmbH 65926 Frankfurt am Main Germany. stefan.guessregen@***. Sanofi-Aventis Deutschland GmbH 65926 Frankfurt am Main Germany. GlaxoSmithKline Stevenage SG1 2NY UK. nicola.j.richmond@***. Discngine Paris 75011 France. Organisch-Chemisches Institut Westfälische Wilhelms-Universität Münster Germany. marwin.segler@wwu.de. Organisch-Chemisches Institut Westfälische Wilhelms-Universität Münster Germany. Bundeskriminalamt Wiesbaden Central Analytics II 65173 Wiesbaden Germany. Department of Chemistry and Biochemistry University of California Santa Barbara CA 93111 USA. shea@chem.ucsb.edu. Department of Chemistry and Biochemistry University of California Santa Barbara CA 93111 USA. Chemistry Department Ludwig-Maximilians-Universität München Butenandtstr. 7 81377 Munich Germany. Inorganic Chemistry and Center for Nanointegration University of Duisburg-Essen Essen Germany. CAM-D Technologies Essen Germany. Institute for Bioinformatics and Chemoinformatics Westphalian University of Applied Sciences Recklinghausen Germany. Institute for Bioinformatics and Chemoinformatics Westphalian University of Applied Sciences Recklinghausen Germany. achim.zielesny@w-hs.de. Leiden University Leiden Netherlands. j.fraaije@chem.leidenuniv.nl. Culgi BV Berlin Germany. Physikalische Chemie III TU Dortmund 44227 Dortmund Germany. stefan.kast@tu-dortmund.de. Centre for Molecular Informatics Department of Chemistry University of Cambridge Lensfield Road Cambridge CB2 1EW United Kingdom. kcb27@cam.ac.uk. Centre for Molecular Informatics Department of Chemistry

来源：评论

学校读者我要写书评

暂无评论

Static packet routing in NoC platform using ACO-based algorithms

Static packet routing in NoC platform using ACO-based algori...

引用

13th International Conference on Intelligent Data engineering and Automated Learning, IDEAL 2012

作者： Silva Jr., Luneque Nedjah, Nadia De Macedo Mourelle, Luiza Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications State University of Rio de Janeiro Brazil Department of Systems Engineering and Computation State University of Rio de Janeiro Brazil

ISBN: (纸本)9783642326387

Networks-on-Chip (NoC) have been used as an interesting option in design of communication infrastructures for embedded systems, providing a scalable structure and balancing the communication between cores. Because several data packets can be transmitted simultaneously through the network, an efficient routing strategy must be used in order to avoid congestion delays. In this paper, ant colony algorithms were used to find and optimize routes in a mesh-based NoC, where several randomly generated applications have been mapped. The routing optimization is driven by the minimization of total latency in packets transmission between tasks. The simulation results show the effectiveness of the ant colony inspired routing by comparing it with general purpose algorithms for deadlock free routing. © 2012 Springer-Verlag.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

Automating the reconfiguration for self-adaptable software

Automating the reconfiguration for self-adaptable software

引用

17th International Doctoral Symposium on Components and Architecture, WCOP'12

作者： Di Beneditto, Marco Eugênio Madeira Systems Engineering and Computer Science Program Federal University of Rio de Janeiro PO Box: 68511 21945-970 Rio de Janeiro RJ Brazil

ISBN: (纸本)9781450313483

Considering a runtime compositional software adaptation, one important aspect about the engineering of self-adaptive systems is to decide how to reconfigure the software, that is, how to change its structure. After a desired configuration has been chosen for some context, the task is to decide how to achieve this desired state and, after that, execute this reconfiguration. Furthermore, this reconfiguration plan must be correct in relation to the programming model, the application architectural restrictions and, must leave the application in a consistent state. The plan execution must guarantee some level of reliability not to bring the system in an undesired state. In order to automate the reconfiguration, this work proposes an approach that employs Artificial Intelligence techniques to solve this issue. The reconfiguration plans are based on a model of cause and effect, which describes the set of reconfiguration actions from the underlying component model and, this component model provides a reflective support to execute the generated reconfiguration plan. Copyright © 2012 ACM.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

The influence of human capabilities in effort estimation of business processes modeling projects

The influence of human capabilities in effort estimation of ...

引用

5th International Conference on Research and Practical Issues of Enterprise Information systems, CONFENIS 2011

作者： Dutra, José Roberto De Barros, Márcio O. Santoro, Flávia Maria Magdaleno, Andréa M. Cappelli, Claudia Nunes, Vanessa Klussman, Felipe Postgraduate Information Systems Program UNIRIO Brazil NP2Tec Research and Practice Group in Information Technology UNIRIO Rio de Janeiro RJ Brazil COPPE UFRJ Systems Engineering and Computer Science Program Rio de Janeiro RJ Brazil

ISBN: (纸本)9780415631310

Business processes modeling projects are increasingly widespread in organizations, which usually invest much in hiring expert consultants to do such job. These consultants come from various organizations, and have different experiences on how to perform the same activity. This paper analyzes how human-related capabilities influence the effort required to conduct a business process modeling project and discusses the results obtained from about 50 projects executed in a large Brazilian company. © 2012 Taylor & Francis Group, London.

关键词： systems engineering

来源：评论

学校读者我要写书评

暂无评论

BT-02FUNCTIONALLY-DEFINED THERAPEUTIC TARGETS IN DIFFUSE INTRINSIC PONTINE GLIOMA

引用

Neuro-Oncology 2015年第SUPPL_3期17卷 iii3-iii3页

作者： Grasso, Catherine S. Tang, Yujie Truffaux, Nathalene Berlow, Noah E. Liu, Lining Debily, Marie-Anne Quist, Michael J. Davis, Lara Huang, Elaine C. Woo, Pamelyn J. Ponnuswami, Anitha Chen, Spenser Johung, Tessa Sun, Wenchao Kogiso, Mari Du, Yuchen Lin, Qi Huang, Yulun Hutt-Cabezas, Marianne Warren, Katherine E. Le Dret, Ludivine Meltzer, Paul S. Mao, Hua Quezado, Martha van Vuurden, Dannis G. Abraham, Jinu Fouladi, Maryam Svalina, Matthew N. Wang, Nicholas Hawkins, Cynthia Raabe, Eric Hulleman, Esther Spellman, Paul T. Li, Xiao-Nan Keller, Charles Pal, Ranadip Grill, Jacques Monje, Michelle Center for Spatial Systems Biomedicine Department of Molecular and Medical Genetics Oregon Health & Science University Portland OR USA These authors contributed equally to this work Depts. of Neurology Neurosurgery and Pediatrics Stanford University Stanford CA USA Unité Mixte de Recherche du Centre National de la Recherche Scientifique 8203 Institut Gustave Roussy et Université Paris-Sud Villejuif France Electrical and Computer Engineering Texas Tech University Lubbock TX USA Université d'Evry-Val d'Essone Evry France Pediatric Cancer Biology Program Papé Family Pediatric Research Institute Dept. of Pediatrics Oregon Health & Science University Portland OR USA Children's Cancer Therapy Development Institute Fort Collins CO USA Laboratory of Molecular Neurooncology Texas Children's Cancer Center Baylor College of Medicine Houston TX USA Department of Neurosurgery The First Affiliated Hospital of Soochow Suzhou China Departments of Oncology and Pathology Johns Hopkins University Baltimore MD USA National Cancer Institute Bethesda MD USA Department of Pediatric Oncology Hematology and Neuro-Oncology Research Group Cancer Center Amsterdam VU University Medical Center Amsterdam The Netherlands Cancer and Blood Diseases Institute Cincinnati Children's Hospital Medical Center Cincinnati OH USA Dept. of Paediatric Laboratory Medicine University of Toronto Scientist Labatt Brain Tumour Research Centre Hospital for Sick Children University of Toronto Toronto ON Canada Departement de Cancerologie de l'Enfant et de l'Adolescent Institut Gustave Roussy Université Paris-Sud Villejuif France

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：