搜索页_+Decidability

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

在“Elsevier电子期刊”中，命中：641条，耗时：小于0.01 秒

1.Computing compositional proofs of Input-to-Output Stability using SOS optimization and -decidability

作者：Abhishek Murthy^a ; ¹ ; ^{amurthy@cs.stonybrook.edu} ; Md. Ariful Islam^b ; ^{mdaislam@cs.stonybrook.edu} ; Scott A. Smolka^b ; ; Radu Grosu^c ;

关键词：Model-order reduction ; Cardiac cell model ; Ionic channel ; Approximate bisimulation

刊名：Nonlinear Analysis: Hybrid Systems

出版年：2017

2.Intruder deducibility constraints with negation. Decidability and application to secured service compositions

作者：Tigran Avanesov^a ; ^{tigran.avanesov@uni.lu} ; Yannick Chevalier^b ; ^{ychevali@irit.fr} ; Michael Rusinowitch^c ; ^{rusi@loria.fr} ; Mathieu Turuani^c ; ^{mathieu.turuani@loria.fr}

关键词：Web services ; Orchestration ; Security policy ; Separation of duty ; Deducibility constraints ; Cryptographic protocols ; Formal methods ; Automated verification ; Synthesis

刊名：Journal of Symbolic Computation

出版年：2017

3.Deciding whether a regular language is generated by a splicing system

作者：Lila Kari ; ^{lila@csd.uwo.ca" class="auth_mail" title="E-mail the corresponding author} ; Steffen Kopecki ^{steffen.kopecki@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Splicing systems ; Decidability

刊名：Journal of Computer and System Sciences

出版年：2017

4.Lost in abstraction: Monotonicity in multi-threaded programs

作者：Alexander Kaiser^a ; Daniel Kroening^a ; Thomas Wahl^b ;

关键词：Multi-threaded software ; Parameterized verification ; Monotonicity ; Predicate abstraction

刊名：Information and Computation

出版年：2017

5.A multi-criteria perception-based strict-ordering algorithm for identifying the most-preferred choice among equally-evaluated alternatives

作者：Madjid Tavana^a ; ^b ; ^{tavana@lasalle.edu} ; Debora Di Caprio^c ; ^d ; ^{dicaper@mathstat.yorku.ca} ; ^{debora.dicaprio@istruzione.it} ; Francisco J. Santos-Arteaga^e ; ^f ; ^{fsantosarteaga@unibz.it} ; ^{fransant@ucm.es}

关键词：Decision analysis ; Multi-attribute alternative ; Consumer indecision ; Subjective perception ; Lexicographic choice ; Ordinal ranking ; Expected utility

刊名：Information Sciences

出版年：2017

6.Determinacy and rewriting of functional top-down and MSO tree transformations

作者：M. Benedikt^a ; ^{michael.benedikt@cs.ox.ac.uk} ; J. Engelfriet^b ; ^{j.engelfriet@liacs.leidenuniv.nl} ; S. Maneth^c ; ^{smaneth@inf.ed.ac.uk}

关键词：View&ndash ; query determinacy ; Top&ndash ; down tree transducers ; MSO definable tree transducers

刊名：Journal of Computer and System Sciences

出版年：2017

7.The large scale geometry of strongly aperiodic subshifts of finite type

作者：David Bruce Cohen ^{davidbrucecohen@gmail.com}

关键词：Geometric group theory ; Symbolic dynamics

刊名：Advances in Mathematics

出版年：2017

8.Well-structured graph transformation systems

作者：Barbara Kö ; nig ; ^{barbara_koenig@uni-due.de} ; Jan Stü ; ckrath ^{jan.stueckrath@uni-due.de}

刊名：Information and Computation

出版年：2017

9.On temporal logics with data variable quantifications: Decidability and complexity

作者：Fu Song^a ; ^b ; Zhilin Wu^c ; ^d ; ^{wuzl@ios.ac.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Temporal logics ; Data variable quantifications ; Satisfiability ; Model checking ; Decidability and complexity ; Alternating register automata ; Data automata

刊名：Information and Computation

出版年：2016

10.On the existence and decidability of unique decompositions of processes in the applied π-calculus

作者：Jannik Dreier^a ; ^b ; ^c ; ^{jannik.dreier@loria.fr" class="auth_mail" title="E-mail the corresponding author} ; Cristian Ene^d ; ^{cristian.ene@imag.fr" class="auth_mail" title="E-mail the corresponding author} ; Pascal Lafourcade^e ; ^f ; ^{pascal.lafourcade@udamail.fr" class="auth_mail" title="E-mail the corresponding author} ; Yassine Lakhnech^d ; ^{yassine.lakhnech@imag.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Applied π-calculus ; Unique decomposition ; Normal form ; Weak bisimilarity ; Strong bisimilarity ; Cancellation ; Decidability ; Equational theory ; Word problem ; Process calculus ; Behavioral equivalence

刊名：Theoretical Computer Science

出版年：2016

按检索点细分(641)

题名(135)

关键词(208)

文摘(474)

按出版年细分(641)

2027年及以后(10)

2017年(8)

2016年(24)

2015年(7)

2014年(1)

2013年(17)

2012年(31)

2011年(31)

2010年(32)

2009年(39)

2008年(38)

2007年(47)

2006年(39)

2005年(46)

2004年(35)

2003年(33)

2002年(36)

2001年(32)

2000年(22)

2000年及以前(113)