4480 search results - page 651 / 896 » Prototyping Completion with Constraints Using Computational ... |
204
click to vote
PRDC
2007
IEEE
16 years 24 days ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
162
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
The routing algorithms for multimedia communication should use for routing more than one QoS parameter. This is because new services such as video on demand and remote meeting sys...
149
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
149
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
187
click to vote
ISMB
1998
15 years 7 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...