设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(1)
CNKI学位论文(7)
知网期刊论文(1)
在“
Elsevier电子期刊
”中,
命中:
14
条,耗时:小于0.01 秒
在所有数据库中总计命中:
9
条
1.
Real-time verification of wireless home networks using bigraphs with sharing
作者:
Muffy
Calder
;
Alex
;
ros Koliousis
;
Michele Sevegnani
;
Joseph Sventek
关键词:
Network management
;
Verification
;
Bigraphical reaction systems
;
Bigraphs with sharing
;
Runtime model generation
刊名:Science of Computer Programming
出版年:1 February, 2014
2.
Real-time verification of wireless home networks using bigraphs with sharing
作者:
Muffy
Calder
;
Alex
;
ros Koliousis
;
Michele Sevegnani
;
Joseph Sventek
关键词:
Network management
;
Verification
;
Bigraphical reaction systems
;
Bigraphs with sharing
;
Runtime model generation
刊名:Science of Computer Programming
出版年:1 February, 2014
3.
Modular modelling of signalling pathways and their cross-talk
作者:
Robin Donaldson
;
Muffy
Calder
关键词:
Signalling pathways
;
Cross-talk
;
Signalling networks
;
Modelling
;
Biological modules
刊名:Theoretical Computer Science
出版年:2012
4.
A Model and Analysis of the AKAP Scaffold
作者:
Oana Andrei
;
Muffy
Calder
关键词:
scaffold proteins
;
CTMC with levels
;
stochastic model checking
;
trend formulas
刊名:Electronic Notes in Theoretical Computer Science
出版年:2010
5.
Process Algebra with Hooks for Models of Pattern Formation
作者:
Andrea Degasperi
;
Muffy
Calder
关键词:
process algebra
;
labelled transition system
;
pattern formation
;
geometrical space
刊名:Electronic Notes in Theoretical Computer Science
出版年:2010
6.
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
作者:
Andrea Degasperi
;
Muffy
Calder
关键词:
geometrical space
;
reaction-diffusion equations
;
cylindrical coordinates
;
partial differential equations
;
ordinary differential equations
;
continuous time Markov chains
刊名:Electronic Notes in Theoretical Computer Science
出版年:2010
7.
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols
作者:
Douglas Graham
;
Muffy
Calder
;
Alice Miller
关键词:
Probabilistic model checking
;
parameterised model checking
;
degenerative systems
;
PRISM
刊名:Electronic Notes in Theoretical Computer Science
出版年:2009
8.
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
作者:
Federica Ciocchetta
;
Andrea Degasperi
;
Jane Hillston
;
Muffy
Calder
关键词:
Systems Biology
;
process algebras
;
analysis
;
ordinary differential equations
;
Markov chains
刊名:Electronic Notes in Theoretical Computer Science
出版年:2009
9.
Preface
作者:
Alice Miller
;
Muffy
Calder
刊名:Electronic Notes in Theoretical Computer Science
出版年:2009
10.
Preface
作者:
Muffy
Calder
;
Stephen Gilmore
刊名:Theoretical Computer Science
出版年:2008
1
2
按检索点细分(14)
作者(14)
按出版年细分(14)
2012年(1)
2010年(3)
2009年(3)
2008年(1)
2005年(3)
2003年(1)
2000年及以前(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.