1922 search results - page 132 / 385 » Systems biology, models, and concurrency |
121
click to vote
SP
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
121
click to vote
RECOMB
2003
Springer
16 years 1 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
105
click to vote
ECOOP
1994
Springer
15 years 5 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...