1922 search results - page 173 / 385 » Systems biology, models, and concurrency |
115
click to vote
SCM
1998
15 years 2 months ago
1998
PRCS is an attempt to provide a version-control system for collections of les with a simple operational model, a clean user interface, and high performance. PRCS is characterized b...
104
click to vote
HOTOS
2007
IEEE
15 years 5 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
109
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
116
click to vote
RE
2009
Springer
15 years 8 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
100
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...