2875 search results - page 2 / 575 » Distributed Reactive Machines |
PPPJ
2006
ACM
13 years 11 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...
OPODIS
2004
13 years 6 months ago
2004
The main contribution of this paper is that it shows that it is possible to have reactive distributed trees for counting and balancing with no need for the user to fix manually any...
POPL
2000
ACM
13 years 9 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
CAV
2000
Springer
13 years 9 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
CORR
2011
Springer
13 years 9 days ago
2011
Springer