5149 search results - page 119 / 1030 » Timed Asynchronous Distributed Systems |
122
Voted
FASE
2006
Springer
15 years 6 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...
115
click to vote
CONCUR
2008
Springer
15 years 4 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...
125
Voted
FMSD
2006
15 years 2 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...
155
Voted
IJITN
2010
14 years 12 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...
126
Voted
ENTCS
2006
15 years 2 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...