搜索页_+proof+checking

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

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

在所有数据库中总计命中：1,459条

1.A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets

作者：Khalil Ghorbal^a ; ^{kghorbal@cs.cmu.edu} ; Andrew Sogokon^c ; ^{a.sogokon@sms.ed.ac.uk} ; André ; Platzer^b ; ^{aplatzer@cs.cmu.edu}

关键词：Formal verification ; Polynomial differential equations ; Positive invariance ; Deductive power ; Dynamical systems

刊名：Computer Languages, Systems & Structures

出版年：2017

2.Cost-effective evolution of research prototypes into end-user tools: The MACH case study

作者：Harald Stö ; rrle ^hsto@dtu.dk

关键词：Architectural design process ; Design decisions ; Software tool research prototype ; Architectural choice points ; UML model analysis and checking

刊名：Science of Computer Programming

出版年：2017

3.Verifiable abstractions for contract-oriented systems

作者：Massimo Bartoletti^a ; ^{bart@unica.it} ; Maurizio Murgia^a ; Alceste Scalas^a ; Roberto Zunino^b

关键词：Contract-oriented computing ; Verification ; Rewriting logic ; Session types

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

4.Privacy-preserving attribute-keyword based data publish-subscribe service on cloud platforms

作者：Kan Yang ; ¹ ; ^a ; ^b ; ^{kan.yang@uwaterloo.ca} ; Kuan Zhang^b ; ^{k52zhang@uwaterloo.ca} ; Xiaohua Jia^c ; ^{csjia@cityu.edu.hk} ; M. Anwar Hasan^b ; ^{ahasan@uwaterloo.ca} ; Xuemin (Sherman) Shen^b ; ^{sshen@uwaterloo.ca}

关键词：AKPS ; Data publish-subscribe ; Searchable encryption ; Trapdoor privacy ; Tag privacy ; Data privacy

刊名：Information Sciences

出版年：2017

5.Configuration logics: Modeling architecture styles

关键词：Architecture styles ; Coordination ; Configuration logics ; Component interaction ; BIP

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

6.Proof Certificates for Equality Reasoning

作者：Zakaria Chihani ; Dale Miller

关键词：proof certificates ; equational proofs ; proof checking ; rewriting proofs

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

7.Efficient ID-based public auditing for the outsourced data in cloud storage

作者：Jianhong Zhang ; ^a ; ^b ; ^{jhzhangs@163.com" class="auth_mail" title="E-mail the corresponding author} ; Qiaocui Dong^b

关键词：ID-based auditing ; Security proof ; The CDH problem ; Simulation ; Data integrity checking

刊名：Information Sciences

出版年：2016

8.Implementation of ERTMS: A Methodology Based on Formal Methods and Simulation with Respect to French National Rules

作者：Antoine Ferlin ; Rahma Ben-Ayed ; Pengfei Sun ; Simon Collart-Dutilleul ; ^{simon.collart-dutilleul@ifsttar.fr" class="auth_mail" title="E-mail the corresponding author} ; Philippe Bon

关键词：B method ; UML ; RBAC Profile ; Petri Nets ; model transformations

刊名：Transportation Research Procedia

出版年：2016

9.Overloading Analysis of Bituminous Pavements in India Using M-E PDG

作者：Donia Savio^a ; M.R. Nivitha^b ; B.K. Bindhu^c ; J.M. Krishnan^d ; ^{jmk@iitm.ac.in}

关键词：Bituminous Pavements ; Vehicle Damage Factor ; Overloading ; Dynamic modulus ; Subgrade modulus

刊名：Transportation Research Procedia

出版年：2016

10.Non-integrability of restricted double pendula

作者：Tomasz Stachowiak^a ; ^{stachowiak@cft.edu.pl" class="auth_mail" title="E-mail the corresponding author} ; Wojciech Szumiński^b ; ^{uz88szuminski@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Non-integrability ; Double pendulum ; Chaotic Hamiltonian systems ; Variational equations ; Differential Galois group ; Morales&ndash ; Ramis theory

刊名：Physics Letters A

出版年：2015

按检索点细分(243)

题名(8)

关键词(13)

文摘(204)

按出版年细分(243)

2027年及以后(5)

2017年(5)

2016年(4)

2015年(1)

2014年(2)

2013年(9)

2012年(21)

2011年(14)

2010年(7)

2009年(17)

2008年(10)

2007年(26)

2006年(21)

2005年(22)

2004年(12)

2003年(8)

2002年(13)

2001年(14)

2000年(11)

2000年及以前(21)