2468 search results - page 477 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
CJ
2010
14 years 10 months ago
2010
In this paper, we propose a resource-aware solution to achieving reliable and scalable stream diffusion in a probabilistic model, i.e., where communication links and processes are...
86
Voted
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
Producing usable documentation has always been a tedious task, and even communicating important knowledge about a system among collaborators is difficult. This paper describes an ...
107
click to vote
PPPJ
2006
ACM
15 years 5 months ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
110
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
As a result of the changing scope of data management towards the management of highly distributed systems and applications, integration processes have gained in imporuch integrati...