1922 search results - page 45 / 385 » Systems biology, models, and concurrency |
119
Voted
CMSB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Systems Biology Markup Language (SBML) is an XMLbased exchange format for computational models of biochemical networks. SBML Level 2, whose definition was establishe...
139
Voted
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
116
click to vote
ENTCS
2006
15 years 1 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
112
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...