790 search results - page 35 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
115
Voted
ENTCS
2006
15 years 1 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
133
Voted
AC
1998
Springer
15 years 1 months ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
102
click to vote
FMOODS
2007
15 years 3 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
142
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
103
click to vote
MOMPES
2008
IEEE
15 years 8 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...