18493 search results - page 231 / 3699 » Timers for Distributed Systems |
166
click to vote
IJES
2006
15 years 4 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
141
click to vote
SIAMCO
2002
15 years 3 months ago
2002
This paper deals with linear shift-invariant distributed systems. By this we mean systems described by constant coefficient linear partial differential equations. We define dissipa...
188
click to vote
DSRT
2009
IEEE
15 years 2 months ago
2009
IEEE
Predicting latency between nodes on the internet can have a significant impact on the performance of many services that use latency distances among nodes as a decision making input...
142
click to vote
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
166
click to vote
TCS
2010
15 years 2 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...