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

2012 5th International Conference on New Technologies, Mobility and Security, NTMS 2012

作者： Stihler, Maicon Santin, Altair Olivo Marcon Jr., Arlindo L. Fraga, Joni Da Silva Graduate Program in Computer Science Pontifical Catholic University of Paraná Curitiba Brazil Department of Systems Automation Federal University of Santa Catarina Florianópolis Brazil

ISBN: (纸本)9781467302296

Cloud computing environments may offer different levels of abstraction to its users. Federated identity management, though, does not leverage these abstractions;each user must set up her identity management solution. This situation is further aggravated by the fact that no identity federation solution is able to integrate all abstraction layers (i.e. IaaS, PaaS, and SaaS). On this paper we describe a new architecture offering integral federated identity management, to support multi-domain clients in a multi-provider environment. We also present some implementation details. The proposed architecture offers significant advantages over current offerings: it eases identity management without losing flexibility, offers better user tracking through the whole cloud computing layers, and enables the implementation of multi-provider environments through account data replication. © 2012 IEEE.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

Finding optimal random boolean networks for reservoir computing

Finding optimal random boolean networks for reservoir comput...

引用

13th International Conference on the Simulation and Synthesis of Living systems: Artificial Life 13, ALIFE 2012

作者： Snyder, David Goudarzi, Alireza Teuscher, Christof Department of Computer Science Portland State University Portland OR 97201 United States Systems Science Graduate Program Portland State University Portland OR 97201 United States Department of Electrical and Computer Engineering Portland State University Portland OR 97201 United States

ISBN: (纸本)9780262310505

Reservoir Computing (RC) is a computational model in which a trained readout layer interprets the dynamics of a component called a reservoir that is excited by external input stimuli. The reservoir is often constructed using homogeneous neural networks in which a neuron's in-degree distributions as well as its functions are uniform. RC lends itself to computing with physical and biological systems. However, most such systems are not homogeneous. In this paper, we use Random Boolean Networks (RBN) to build the reservoir. We explore the computational capabilities of such a RC device using the temporal parity task and the temporal density classification. We study the sufficient dynamics of RBNs using kernel quality and generalization rank measures. We verify findings by Lizier et al. (2008) that the critical connectivity of RBNs optimizes the balance between the high memory capacity of RBNs with (K) 2. We show that in a RBN-based RC system, the optimal connectivity for the parity task, a processing intensive task, and the density classification task, a memory intensive task, agree with Lizier et al.'s theoretical results. Our findings may contribute to the development of optimal selfassembled nanoelectronic computer architectures and biologically-inspired computing paradigms. © 2012 Massachusetts Institute of Technology.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Sequence data and association statistics from 12,940 type 2 diabetes cases and controls

引用

Scientific data 2017年第1期4卷 170179页

作者： Jason Flannick Christian Fuchsberger Anubha Mahajan Tanya M Teslovich Vineeta Agarwala Kyle J Gaulton Lizz Caulkins Ryan Koesterer Clement Ma Loukas Moutsianas Davis J McCarthy Manuel A Rivas John R B Perry Xueling Sim Thomas W Blackwell Neil R Robertson N William Rayner Pablo Cingolani Adam E Locke Juan Fernandez Tajes Heather M Highland Josee Dupuis Peter S Chines Cecilia M Lindgren Christopher Hartl Anne U Jackson Han Chen Jeroen R Huyghe Martijn van de Bunt Richard D Pearson Ashish Kumar Martina Müller-Nurasyid Niels Grarup Heather M Stringham Eric R Gamazon Jaehoon Lee Yuhui Chen Robert A Scott Jennifer E Below Peng Chen Jinyan Huang Min Jin Go Michael L Stitzel Dorota Pasko Stephen C J Parker Tibor V Varga Todd Green Nicola L Beer Aaron G Day-Williams Teresa Ferreira Tasha Fingerlin Momoko Horikoshi Cheng Hu Iksoo Huh Mohammad Kamran Ikram Bong-Jo Kim Yongkang Kim Young Jin Kim Min-Seok Kwon Juyoung Lee Selyeong Lee Keng-Han Lin Taylor J Maxwell Yoshihiko Nagai Xu Wang Ryan P Welch Joon Yoon Weihua Zhang Nir Barzilai Benjamin F Voight Bok-Ghee Han Christopher P Jenkinson Teemu Kuulasmaa Johanna Kuusisto Alisa Manning Maggie C Y Ng Nicholette D Palmer Beverley Balkau Alena Stančáková Hanna E Abboud Heiner Boeing Vilmantas Giedraitis Dorairaj Prabhakaran Omri Gottesman James Scott Jason Carey Phoenix Kwan George Grant Joshua D Smith Benjamin M Neale Shaun Purcell Adam S Butterworth Joanna M M Howson Heung Man Lee Yingchang Lu Soo-Heon Kwak Wei Zhao John Danesh Vincent K L Lam Kyong Soo Park Danish Saleheen Wing Yee So Claudia H T Tam Uzma Afzal David Aguilar Rector Arya Tin Aung Edmund Chan Carmen Navarro Ching-Yu Cheng Domenico Palli Adolfo Correa Joanne E Curran Dennis Rybin Vidya S Farook Sharon P Fowler Barry I Freedman Michael Griswold Daniel Esten Hale Pamela J Hicks Chiea-Chuen Khor Satish Kumar Benjamin Lehne Dorothée Thuillier Wei Yen Lim Jianjun Liu Marie Loh Solomon K Musani Sobha Puppala William R Scott Loïc Yengo Sian-Tsung Tan Herman A Taylor Farook Thameem Gregory Wilson Tien Yin Wong Pål Rasmu Department of Molecular Biology Massachusetts General Hospital Boston Massachusetts USA. Program in Medical and Population Genetics Broad Institute Cambridge Massachusetts USA. Department of Biostatistics and Center for Statistical Genetics University of Michigan Ann Arbor Michigan USA. Wellcome Trust Centre for Human Genetics Nuffield Department of Medicine University of Oxford Oxford UK. Harvard-MIT Division of Health Sciences and Technology Massachusetts Institute of Technology Cambridge Massachusetts USA. Department of Statistics University of Oxford Oxford UK. Genetics of Complex Traits University of Exeter Medical School University of Exeter Exeter UK. MRC Epidemiology Unit Institute of Metabolic Science University of Cambridge Cambridge UK. Department of Twin Research and Genetic Epidemiology King's College London London UK. Oxford Centre for Diabetes Endocrinology and Metabolism Radcliffe Department of Medicine University of Oxford Oxford UK. Department of Human Genetics Wellcome Trust Sanger Institute Hinxton Cambridgeshire UK. School of Computer Science McGill University Montreal Quebec Canada. McGill University and Génome Québec Innovation Centre Montreal Quebec Canada. Human Genetics Center The University of Texas Graduate School of Biomedical Sciences at Houston The University of Texas Health Science Center at Houston Houston Texas USA. Department of Biostatistics Boston University School of Public Health Boston Massachusetts USA. National Heart Lung and Blood Institute's Framingham Heart Study Framingham Massachusetts USA. Medical Genomics and Metabolic Genetics Branch National Human Genome Research Institute National Institutes of Health Bethesda Maryland USA. Department of Biostatistics Harvard School of Public Health Boston Massachusetts USA. Chronic Disease Epidemiology Swiss Tropical and Public Health Institute University of Basel Basel Switzerland. Institute of Genetic Epidemiology Helmholtz Zentrum München German R

To investigate the genetic basis of type 2 diabetes (T2D) to high resolution, the GoT2D and T2D-GENES consortia catalogued variation from whole-genome sequencing of 2,657 European individuals and exome sequencing of 12,940 individuals of multiple ancestries. Over 27M SNPs, indels, and structural variants were identified, including 99% of low-frequency (minor allele frequency [MAF] 0.1-5%) non-coding variants in the whole-genome sequenced individuals and 99.7% of low-frequency coding variants in the whole-exome sequenced individuals. Each variant was tested for association with T2D in the sequenced individuals, and, to increase power, most were tested in larger numbers of individuals (>80% of low-frequency coding variants in ~82 K Europeans via the exome chip, and ~90% of low-frequency non-coding variants in ~44 K Europeans via genotype imputation). The variants, genotypes, and association statistics from these analyses provide the largest reference to date of human genetic information relevant to T2D, for use in activities such as T2D-focused genotype imputation, functional characterization of variants or genes, and other novel analyses to detect associations between sequence variation and T2D.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Erratum: Large meta-analysis of genome-wide association studies identifies five loci for lean body mass

引用

Nature communications 2017年第1期8卷 1414页

作者： M Carola Zillikens Serkalem Demissie Yi-Hsiang Hsu Laura M Yerges-Armstrong Wen-Chi Chou Lisette Stolk Gregory Livshits Linda Broer Toby Johnson Daniel L Koller Zoltán Kutalik Jian'an Luan Ida Malkin Janina S Ried Albert V Smith Gudmar Thorleifsson Liesbeth Vandenput Jing Hua Zhao Weihua Zhang Ali Aghdassi Kristina Åkesson Najaf Amin Leslie J Baier Inês Barroso David A Bennett Lars Bertram Rainer Biffar Murielle Bochud Michael Boehnke Ingrid B Borecki Aron S Buchman Liisa Byberg Harry Campbell Natalia Campos Obanda Jane A Cauley Peggy M Cawthon Henna Cederberg Zhao Chen Nam H Cho Hyung Jin Choi Melina Claussnitzer Francis Collins Steven R Cummings Philip L De Jager Ilja Demuth Rosalie A M Dhonukshe-Rutten Luda Diatchenko Gudny Eiriksdottir Anke W Enneman Mike Erdos Johan G Eriksson Joel Eriksson Karol Estrada Daniel S Evans Mary F Feitosa Mao Fu Melissa Garcia Christian Gieger Thomas Girke Nicole L Glazer Harald Grallert Jagvir Grewal Bok-Ghee Han Robert L Hanson Caroline Hayward Albert Hofman Eric P Hoffman Georg Homuth Wen-Chi Hsueh Monica J Hubal Alan Hubbard Kim M Huffman Lise B Husted Thomas Illig Erik Ingelsson Till Ittermann John-Olov Jansson Joanne M Jordan Antti Jula Magnus Karlsson Kay-Tee Khaw Tuomas O Kilpeläinen Norman Klopp Jacqueline S L Kloth Heikki A Koistinen William E Kraus Stephen Kritchevsky Teemu Kuulasmaa Johanna Kuusisto Markku Laakso Jari Lahti Thomas Lang Bente L Langdahl Lenore J Launer Jong-Young Lee Markus M Lerch Joshua R Lewis Lars Lind Cecilia Lindgren Yongmei Liu Tian Liu Youfang Liu Östen Ljunggren Mattias Lorentzon Robert N Luben William Maixner Fiona E McGuigan Carolina Medina-Gomez Thomas Meitinger Håkan Melhus Dan Mellström Simon Melov Karl Michaëlsson Braxton D Mitchell Andrew P Morris Leif Mosekilde Anne Newman Carrie M Nielson Jeffrey R O'Connell Ben A Oostra Eric S Orwoll Aarno Palotie Stephen C J Parker Munro Peacock Markus Perola Annette Peters Ozren Polasek Richard L Prince Katri Räikkönen Stuart H Ralston Samuli Ripatti John A Robbins Jerome I Rotter Igor Rudan Veikko Department of Internal Medicine Erasmus MC Rotterdam 3000 The Netherlands. Netherlands Genomics Initiative (NGI)-sponsored Netherlands Consortium for Healthy Aging (NCHA) Leiden 2593 The Netherlands. Department of Biostatistics Boston University School of Public Health Boston MA 02118 USA. Hebrew SeniorLife Institute for Aging Research Roslindale MA 02131 USA. Harvard Medical School Boston MA 02115 USA. Molecular and Integrative Physiological Sciences Program Harvard School of Public Health Boston MA 02115 USA. Program in Personalized and Genomic Medicine and Department of Medicine Division of Endocrinology Diabetes and Nutrition University of Maryland School of Medicine Baltimore MD 21201 USA. Broad Institute Cambridge MA 02142 USA. Sackler Faculty of Medicine Department of Anatomy and Anthropology Tel Aviv University Tel Aviv 6997801 Israel. Department of Twin Research and Genetic Epidemiology King's College London St Thomas' Campus London WC2R 2LS UK. Department of Epidemiology Erasmus MC Rotterdam 3000 The Netherlands. Department of Medical Genetics University of Lausanne Lausanne 1011 Switzerland. Swiss Institute of Bioinformatics Lausanne 1015 Switzerland. Centre Hospitalier Universitaire (CHUV) University Institute for Social and Preventive Medicine Lausanne 1010 Switzerland. Department of Medical and Molecular Genetics Indiana University School of Medicine Indianapolis IN 46202 USA. MRC Epidemiology Unit University of Cambridge School of Clinical Medicine Cambridge Biomedical Campus Cambridge CB2 OQQ UK. Institute of Epidemiology II Helmholtz Zentrum München - German Research Center for Environmental Health Neuherberg 85764 Germany. Icelandic Heart Association Kopavogur 201 Iceland. Faculty of Medicine University of Iceland Reykjavik 101 Iceland. deCODE Genetics Reykjavik 101 Iceland. Department of Internal Medicine Institute of Medicine Sahlgrenska Academy University of Gothenburg Gothenburg SE-405 30 Sweden. Dep

A correction to this article has been published and is linked from the HTML version of this article.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards a formal model to reason about context-aware exception handling

Towards a formal model to reason about context-aware excepti...

引用

International Workshop on Exception Handling (WEH)

作者： Lincoln S. Rocha Rossana M. C. Andrade Group of Computer Networks Software Engineering and Systems Graduate Program in Computer Science Federal University of Ceará Fortaleza Ceara Brazil

The context-awareness is a central aspect in the design of pervasive systems, characterizing their ability to adapt its structure and behavior. The context-aware exception handling (CAEH) is an existing approach employed to design exception handling in pervasive systems. In this approach, the context is used to define, detect, propagate, and handle exceptions. CAEH is a complex and error prone activity, needing designers' insights and domain expertise to identify and characterize contextual exceptions. However, despite the existence of formal methods to analyze the adaptive behavior of pervasive systems, such methods lack specific support to specify the CAEH behavior. In this paper, we propose a formal model to reason about the CAEH behavior. It comprises an extension of the Kripke Structure to model the context evolution of a pervasive system and a transformation function that derivates the CAEH control flow from that proposed structure.

关键词： Context Context modeling Adaptation models Middleware Computational modeling Engines Cognition

来源：评论

学校读者我要写书评

暂无评论

Accelerating the artificial bee colony algorithm by hardware parallel implementations

Accelerating the artificial bee colony algorithm by hardware...

引用

2012 IEEE 3rd Latin American Symposium on Circuits and systems, LASCAS 2012

作者： Muñoz, Daniel M. Llanos, Carlos H. Coelho, Leandro Dos S. Ayala-Rincón, Mauricio Department of Mechanical Engineering Automation and Control Group/GRACO University of Brasilia Brasilia D.F. Brazil Industrial and Systems Engineering Graduate Program LAS/PPGEPS Pontifical Catholic University of Parana Curitiba Parana Brazil Department of Computer Science and Mathematics University of Brasilia Brasilia D.F. Brazil

ISBN: (纸本)9781467312080

Artificial bee colony (ABC) is an optimization algorithm inspired on the intelligent behavior of honey bee swarms. It is suitable to be applied when mathematical techniques are impractical or provide suboptimal solutions. As a population-based algorithm, the ABC suffers on large execution times specifically for embedded optimization problems with computational limitations. For that we propose a hardware parallel architecture of the opposition-based ABC algorithm (HPOABC) that facilitates the implementation in Field programmable Gate Arrays (FPGAs). Numerical simulations using four well-known benchmark problems demonstrate that the opposition-based approach allows the algorithm to improve its functionality, preserving the swarm diversity. Additionally, synthesis results point outs that the HPOABC architecture is effectively mapped in hardware and is suitable for embedded applications. © 2012 IEEE.

关键词： Global optimization

来源：评论

学校读者我要写书评

暂无评论

Using frequent pattern mining to identify behaviors in a naked mole rat colony

Using frequent pattern mining to identify behaviors in a nak...

引用

25th International Florida Artificial Intelligence Research Society Conference, FLAIRS-25

作者： Imberman, Susan P. Kress, Michael E. McCloskey, Dan P. Dept. Psychology Staten Island NY 10314 United States CSI/IBR Center for Developmental Neuroscience Staten Island NY 10314 United States Technology Systems Staten Island NY 10314 United States Dept. Computer Science College of Staten Island 2800 Victory Blvd Staten Island NY 10314 United States Doctoral Program Computer Science the Graduate Center at CUNY United States

ISBN: (纸本)9781577355588

Animal behavior analysis has, in the past, taken a very low tech approach, with direct observer surveillance and automated video surveillance as the norm. These methods are insufficient when one wants to study interactions between large numbers of animals in their housing environment. In this paper we use a housing environment that has been equipped with a system of RFID sensors. RFID transponders were implanted into the study animal, the naked mole rat. The resulting data was analyzed using principal component analysis and frequent pattern mining. Results showed that these methods can identify time periods of high behavioral activity from that of low aclivity, along with which groups of animals interacted with one another. Copyright © 2012, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Rats

来源：评论

学校读者我要写书评

暂无评论

Multiobjective optimization for project portfolio selection 12

Multiobjective optimization for project portfolio selection

引用

14th International Conference on Genetic and Evolutionary Computation Companion, GECCO'12 Companion

作者： De Barros, Márcio O. Costa, Hélio R. Figueiredo, Fábio V. Da Rocha, Ana Regina C. Post-graduate Information Systems Program - PPGI UNIRIO Av. Pasteur 458 Urca - Rio de Janeiro RJ Brazil COPPE UFRJ System Engineering and Computer Science Department Caixa Postal: 68511 CEP: 21945-970 - Rio de Janeiro Brazil CCA-RJ Brazilian Air Force Ponta do Galeão s/no Ilha do Governador CEP: 21941-510 - Rio de Janeiro Brazil

ISBN: (纸本)9781450311786

This paper proposes a multiobjective heuristic search approach to support a project portfolio selection technique on scenarios with a large number of candidate projects. The original formulation for the technique requires analyzing all combinations of candidate projects, which is unfeasible when more than a few alternatives are available. We have used a multiobjective genetic algorithm to partially explore the search space of project combinations and select the most effective ones. We present an experimental study based on four project selection problems that compares the results found by the genetic algorithm to those yielded by a non-systematic search procedure. Results show evidence that the project selection technique can be used in large-scale scenarios and that GA presents better results than simpler search strategy. Copyright is held by the author/owner(s).

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Poster abstracts

引用

Sleep and Biological Rhythms 2016年第1期5卷 A1-A189页

作者： J. Ferrie M. Shipley F. Cappuccio E. Brunner M. Miller M. Kumari M. Marmot A. Coenen J. L. Castillo F. Araya G. Bustamante L. Montecino C. Torres S. Oporto J. Gronli E. Fiske R. Murison B. Bjorvatn E. Sorensen R. Ursin C. M. Portas S. Rajaraman A. Gribok N. Wesensten T. Balkin J. Reifman N. Dursunoglu S. Ozkurt S. Baser O. Delen S. Sarikaya P. Sadler P. Mitchell D. Françon M. Decobert B. Herve A. Richard G. Griebel P. Avenet B. Scatton G. L. Fur D. Eckert A. Jordan A. Wellman S. Smith A. Malhotra D. White D. Bruck I. Thomas A. Kritikos W. Oertel K. Stiasny-Kolster D. Garcia-Borreguero W. Poewe B. Hoegl R. Kohnen E. Schollmayer J. Keffel C. Trenkwalder A. Valle S. Roizenblatt F. Fregni P. Boggio S. Tufik K. Ward L. Robertson L. Palmer P. Eastwood D. Hillman J. Lee S. Mukherjee V. de Padova G. Barbato G. Ficca I. Zilli P. Salzarulo M. Veldi T. Hion V. Vasar M. Kull L. Nowak J. Davis Y. Latzer O. Tzischinsky S. Crowley M. Carskadon M. Anca-Herschkovitsch D. Frey J. Ortega C. Wiseman C. Farley K. Wright A. Campbell A. Neill K. Spiegel R. Leproult E. Tasali N. Scherberg E. van Cauter A. T. Noradina N. A. Karim I. Norlinah A. A. Raymond R. Sahathevan B. Hamidon E. Werth R. Poryazova R. Khatami C. Bassetti R. G. Beran L. Ainley G. Holand J. Duncan H. Kinney B. Davis B. Hood S. Frey C. Schmidt M. Hofstetter P. Peigneux C. Cajochen W.-P. Hu J.-D. Li C. Zhang L. Boehmer J. Siegel Q.-Y. Zhou Y. Sagawa H. Kondo T. Takemura H. Kanayama Y. Kaneko M. Sato T. Kanbayashi Y. Hishikawa T. Shimizu A. Viola L. James L. Schlangen D.-J. Dijk R. Andretic Y.-C. Kim K.-A. Han F. Jones R. Greenspan L. Sanford L. Yang X. Tang K. Dieter E. Uta H. Sven M. Richard N. Oyane S. Pallesen F. Holsten Y. Inoue M. Fujita N. Emura K. Kuroda N. Uchimura A. Johnston J. Astbury G. Kennedy K. Hoedlmoser M. Schabus T. Pecherstorfer S. Moser G. Gruber P. Anderer W. Klimesch N. Naidoo M. Ferber A. Pack D. Neu O. Mairesse G. Hoffmann A. Dris L. Lambrecht P. Linkowski P. Verbanck O. Le Bon N. Matsuura M. Yamao N. Adachi R. Aritomi Y. Komada H. Tanaka S. Shirak University College London London UK University College London London USA Warwick Medical School London UK Warwick Medical School Coventry USA Radboud University Nijmegen Nijmegen Netherlands Department of Neurology University of Chile Santiago Chile Neurology Service Hospital del Salvador Santiago Chile Family Health Center Juan Pablo II Santiago Chile Department of Biomedicine Section on Physiology Univeristy of Bergen Bergen Norway Department of Public Health and Primary Health Care Univeristy of Bergen Bergen Norway Department of Public Health and Primary Health Care University of Bergen Bergen Norway Norwegian Competence Center for Sleep Disorders Haukeland University Hospital Bergen Norway Department of Child and Adolescent Psychiatry Haukeland University Hospital Univeristy of Bergen Bergen Norway Department of Biomedicine University of Bergen Bergen Norway US Army Medical Research and Materiel Command Fort Detrick Frederick USA Walter Reed Army Institute of Research Silver Spring USA Department of Behavioral Biology Walter Reed Army Institute of Research Silver Spring USA Faculty Department of Pulmonology Pamukkale University Medical Denizli Turkey University of Ballarat Ballarat Australia Sanofi-Aventis Recherche et Developpement Paris France Brigham and Women’s Hospital Harvard Medical School Boston USA The University of Queensland Adelaide Australia School of Psychology University of Queensland Brisbane Australia The University of Queensland Brisbane Australia Victoria University Melbourne Australia Department of Psychology Victoria University Melbourne Australia School of Psychology Victoria University Melbourne Australia Philips-Universität Marburg Germany Philips-Universitaet-Marburg Marburg Germany Instituto de Investigaciones del Sueno Madrid Spain Universitätsklinik für Neurologie Innsbruck Austria Universitaetsklinik fuer Neurologie Innsbruck Austria IMEREM GmbH Nuernberg Germany Schwarz Pharma AG Monheim Germany

来源：评论

学校读者我要写书评

暂无评论

A verification mechanism of feature models for mobile and context-aware software product lines

A verification mechanism of feature models for mobile and co...

引用

5th Brazilian Symposium on Components, Architectures and Reuse, SBCARS 2011

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Werner, Cláudia Graduate Program in Computer Science Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9780769546261

Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications. © 2011 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：