850 search results - page 1 / 170 » Modeling synchronous systems in BIP |
111
Voted
SIES
2010
IEEE
14 years 10 months ago
2010
IEEE
80
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
116
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
119
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
96
Voted
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...