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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 8th Annual Conference on the science of Dissemination and Implementation : Washington, DC, USA. 14-15 December 2015

引用

Implementation science : IS 2016年第2期11 Suppl 2卷 100页

作者： Chambers, David Simpson, Lisa Hill-Briggs, Felicia Neta, Gila Vinson, Cynthia Beidas, Rinad Marcus, Steven Aarons, Gregory Hoagwood, Kimberly Schoenwald, Sonja Evans, Arthur Hurford, Matthew Rubin, Ronnie Hadley, Trevor Barg, Frances Walsh, Lucia Adams, Danielle Mandell, David Martin, Lindsey Mignogna, Joseph Mott, Juliette Hundt, Natalie Kauth, Michael Kunik, Mark Naik, Aanand Cully, Jeffrey McGuire, Alan White, Dominique Bartholomew, Tom McGrew, John Luther, Lauren Rollins, Angie Salyers, Michelle Cooper, Brittany Funaiole, Angie Richards, Julie Lee, Amy Lapham, Gwen Caldeiro, Ryan Lozano, Paula Gildred, Tory Achtmeyer, Carol Ludman, Evette Addis, Megan Marx, Larry Bradley, Katharine VanDeinse, Tonya Wilson, Amy Blank Stacey, Burgin Powell, Byron Bunger, Alicia Cuddeback, Gary Barnett, Miya Stadnick, Nicole Brookman-Frazee, Lauren Lau, Anna Dorsey, Shannon Pullmann, Michael Mitchell, Shannon Schwartz, Robert Kirk, Arethusa Dusek, Kristi Oros, Marla Hosler, Colleen Gryczynski, Jan Barbosa, Carolina Dunlap, Laura Lounsbury, David O’Grady, Kevin Brown, Barry Damschroder, Laura Waltz, Thomas Ritchie, Mona Atkins, David Imel, Zac E. Xiao, Bo Can, Doğan Georgiou, Panayiotis Narayanan, Shrikanth Berkel, Cady Gallo, Carlos Sandler, Irwin Brown, C. Hendricks Wolchik, Sharlene Mauricio, Anne Marie Mehrotra, Sanjay Chandurkar, Dharmendra Bora, Siddhartha Das, Arup Tripathi, Anand Saggurti, Niranjan Raj, Anita Hughes, Eric Jacobs, Brian Kirkendall, Eric Loeb, Danielle Trinkley, Katy Yang, Michael Sprowell, Andrew Nease, Donald Lyon, Aaron Lewis, Cara Boyd, Meredith Melvin, Abigail Nicodimos, Semret Liu, Freda Jungbluth, Nathanial Flynn, Allen Landis-Lewis, Zach Sales, Anne Baloh, Jure Ward, Marcia Zhu, Xi Bennett, Ian Unutzer, Jurgen Mao, Johnny Proctor, Enola Vredevoogd, Mindy Chan, Ya-Fen Williams, Nathaniel Green, Phillip Bernstein, Steven Rosner, June-Marie DeWitt, Michelle Tetrault, Jeanette Dziura, James Hsiao, Allen Sussman, Scott O’Connor, Patrick Toll, Benjamin Jones, Michael Gassaway, Julie Tobin, Jonathan Zatzic Division of Cancer Control and Population Sciences National Cancer Institute National Institutes of Health Rockville USA AcademyHealth Washington USA Department of Medicine and Welch Center for Prevention Epidemiology and Clinical Research Johns Hopkins Medical Institutions Baltimore USA Psychiatry University of Pennsylvania Philadelphia USA Family Medicine and Community Health University of Pennsylvania Philadelphia USA School of Social Policy and Practice University of Pennsylvania Philadelphia USA Psychiatry UC San Diego La Jolla USA Child & Adolescent Psychiatry The Child Study Center at NYU Langone Medical Center New York NY New York USA Psychiatry and Behavioral Sciences MUSC Charleston USA DBHIDS City of Philadelphia Philadelphia USA CBH City of Philadelphia Philadelphia USA Psychiatry University of Pennsylvania Perelman School of Medicine Philadelphia USA Health Services Research & Development Department of Veterans Affairs & Baylor College of Medicine Houston USA Treatment Core Department of Veterans Affairs Waco USA National Center for PTSD Executive Division Department of Veterans Affairs White River Junction USA HSR&D HSR&D Center for Health Information and Communication Roudebush VA Medical Center Indianapolis USA Psychology Indiana University Purdue University Indianapolis Indianapolis USA Department of Psychiatric Rehabilitation and Counseling Rutgers University Newark USA Health Services Research & Development Richard L. Roudebush VAMC Indianapolis USA IUPUI Department of Psychology ACT Center of Indiana Indianapolis USA Human Development Washington State University Pullman USA Prevention Science Washington State University Pullman USA Group Health Research Institute Group Health Seattle USA Behavioral Health Services Group Health Seattle USA Preventive Care Group Health Seattle USA Health Services Research & Development Primary and Specialty Medical Care Service VA Puget Sound Seattle USA School of Social Work Un

A1 Introduction to the 8th Annual Conference on the science of Dissemination and Implementation: Optimizing Personal and Population Health David Chambers, Lisa Simpson D1 Discussion forum: Population health D&I research Felicia Hill-Briggs D2 Discussion forum: Global health D&I research Gila Neta, Cynthia Vinson D3 Discussion forum: Precision medicine and D&I research David Chambers S1 Predictors of community therapists’ use of therapy techniques in a large public mental health system Rinad Beidas, Steven Marcus, Gregory Aarons, Kimberly Hoagwood, Sonja Schoenwald, Arthur Evans, Matthew Hurford, Ronnie Rubin, Trevor Hadley, Frances Barg, Lucia Walsh, Danielle Adams, David Mandell S2 Implementing brief cognitive behavioral therapy (CBT) in primary care: Clinicians' experiences from the field Lindsey Martin, Joseph Mignogna, Juliette Mott, Natalie Hundt, Michael Kauth, Mark Kunik, Aanand Naik, Jeffrey Cully S3 Clinician competence: Natural variation, factors affecting, and effect on patient outcomes Alan McGuire, Dominique White, Tom Bartholomew, John McGrew, Lauren Luther, Angie Rollins, Michelle Salyers S4 Exploring the multifaceted nature of sustainability in community-based prevention: A mixed-method approach Brittany Cooper, Angie Funaiole S5 Theory informed behavioral health integration in primary care: Mixed methods evaluation of the implementation of routine depression and alcohol screening and assessment Julie Richards, Amy Lee, Gwen Lapham, Ryan Caldeiro, Paula Lozano, Tory Gildred, Carol Achtmeyer, Evette Ludman, Megan Addis, Larry Marx, Katharine Bradley S6 Enhancing the evidence for specialty mental health probation through a hybrid efficacy and implementation study Tonya VanDeinse, Amy Blank Wilson, Burgin Stacey, Byron Powell, Alicia Bunger, Gary Cuddeback S7 Personalizing evidence-based child mental health care within a fiscally mandated policy reform Miya Barnett, Nicole Stadnick, Lauren Brookman-Frazee, Anna Lau S8 Leveraging an existing

关键词： Veteran Affair Motivational Interview Qualitative Comparative Analysis Community That Care Supplemental Nutrition Assistance program

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Formalizing the situation of a business process activity

Formalizing the situation of a business process activity

引用

International Conference on computer Supported Cooperative Work in Design

作者： Talita da Cunha Mattos Flávia Maria Santoro Kate Revoredo Vanessa Tavares Nunes Postgraduate Information Systems Program UNIRIO Rio de Janeiro Brazil COPPE/PESC-Systems Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil

Business processes are dynamic and constantly evolving. Contextual elements that had not yet been identified and represented can arise and influence the execution of each process instance in diverse manners. In this scenario, the identification of these elements is considered of great importance. This paper proposes a formalism for context associated with business processes that intends to identify the situation of an activity in order to subsidize decisions to be taken within the execution of a process.

关键词： Computational modeling Context Psychology Media Navigation

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Introducing Software Process Tailoring to BPMN: BPMNt

Introducing Software Process Tailoring to BPMN: BPMNt

引用

International Conference on Software and System Process (ICSSP)

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

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.

关键词： Software Business Unified modeling language programming Adaptation models Standards Semantics

来源：评论

学校读者我要写书评

暂无评论

An exploratory study on collaboration understanding in software development social networks

An exploratory study on collaboration understanding in softw...

引用

18th International Conference on Collaboration and Technology, CRIWG 2012

作者： Magdaleno, Andréa M. Araujo, Renata M. Werner, Cláudia M. L. UFRJ - Federal University of Rio de Janeiro COPPE - Systems Engineering and Computer Science Department P.O. Box 68511 21945-970 Rio de Janeiro RJ Brazil - UNIRIO Brazil

ISBN: (纸本)9783642332838

Collaboration is important for productivity, quality, and knowledge sharing in software development. In this context, the use of social networks analysis can help to track the level of collaboration in a development project. In this work, an exploratory study was conducted, in the context of free/open source software, using EvolTrack-SocialNetwork tool, to investigate collaboration in software teams. The preliminary results indicate a potential to increase one's ability to understand the course that the collaboration is taking. © 2012 Springer-Verlag.

关键词： Social sciences computing

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

International Conference on computer Supported Cooperative Work in Design

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

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.

关键词： Context Materials Business Adaptation models Analytical models

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：