5149 search results - page 119 / 1030 » Timed Asynchronous Distributed Systems |
142
click to vote
FASE
2006
Springer
15 years 8 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
144
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
146
click to vote
FMSD
2006
15 years 4 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
180
click to vote
IJITN
2010
15 years 2 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
149
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...