12115 search results - page 119 / 2423 » Bisimulation of Dynamical Systems |
113
Voted
DCC
2010
IEEE
15 years 10 months ago
2010
IEEE
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...
120
Voted
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a methodology for designing a class of algorithms for computing functions in dynamic distributed systems in which communication channels and processes may ceas...
122
Voted
PRDC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper introduces the Sigma algorithm that solves fault-tolerant mutual exclusion problem in dynamic systems where the set of processes may be large and change dynamically, pr...
101
Voted
HUC
2009
Springer
15 years 8 months ago
2009
Springer
Location-based ubiquitous computing systems are entering mainstream society and becoming familiar parts of everyday life. However, the settings in which they are deployed are alre...
117
Voted
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...