2930 search results - page 147 / 586 » A Constructive Approach to the Design of Distributed Systems |
126
Voted
FMSD
2006
15 years 4 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
139
Voted
ICDCIT
2010
Springer
16 years 27 days ago
2010
Springer
Data delivered today over the web reflects rapid and unpredictable changes in the world around us. We are increasingly relying on content that provides dynamic, interactive, person...
148
click to vote
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
116
click to vote
SAINT
2008
IEEE
15 years 10 months ago
2008
IEEE
The utility of walking parameters such as stride length, cadence and gait velocity for monitoring motor functions of patients suffering from brain injury, Parkinson’s disease an...
150
Voted
DSRT
1999
IEEE
15 years 8 months ago
1999
IEEE
Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...