1922 search results - page 51 / 385 » Systems biology, models, and concurrency |
124
Voted
ECRTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
122
Voted
ASM
2000
ASM
15 years 6 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
132
Voted
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
120
Voted
DEDS
2007
15 years 1 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...