Search Sciweavers | Sciweavers

18493 search results - page 263 / 3699

» Timers for Distributed Systems

179

Voted

CG
1999
Springer

199views Computer Graphics» more CG 1999»

A distributed device diagnostics system utilizing augmented reality and 3D audio

15 years 4 months ago

Download augmented-reality.inn.leedsmet.ac.uk

Augmented Reality brings technology developed for virtual environments into the real world. This approach can be used to provide instructions for routine maintenance and error diag...

Reinhold Behringer, Steven Chen, Venkataraman Sund...

claim paper

Read More »

Voted

SSS
2009
Springer

99views Control Systems» more SSS 2009»

Model Checking Coalition Nash Equilibria in MAD Distributed Systems

15 years 11 months ago

Download userweb.cs.utexas.edu

Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...

claim paper

Read More »

150

Voted

ECMDAFA
2007
Springer

100views Hardware» more ECMDAFA 2007»

Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study

15 years 10 months ago

Download www.crim.ca

The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...

Andreas Ulrich, Alexandre Petrenko

claim paper

Read More »

125

click to vote

ECRTS
2000
IEEE

65views Embedded Systems» more ECRTS 2000»

Schedulability analysis of distributed hard real-time systems with multiple-event synchronization

15 years 9 months ago