732 search results - page 54 / 147 » A Formal Model of Provenance in Distributed Systems |
183
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...
157
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
146
Voted
SIAMCOMP
2010
15 years 2 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
134
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
157
click to vote
EMSOFT
2010
Springer
15 years 2 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...