Sciweavers

1560 search results - page 309 / 312
» interfaces 2010
Sort
View
127
Voted
IMC
2010
ACM
15 years 15 days ago
Primitives for active internet topology mapping: toward high-frequency characterization
Current large-scale topology mapping systems require multiple days to characterize the Internet due to the large amount of probing traffic they incur. The accuracy of maps from ex...
Robert Beverly, Arthur Berger, Geoffrey G. Xie
141
Voted
KBSE
2010
IEEE
15 years 15 days ago
VikiBuilder: end-user specification and generation of visual wikis
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
Christian Hirsch, John G. Hosking, John C. Grundy
149
Voted
LCTRTS
2010
Springer
15 years 15 days ago
Translating concurrent action oriented specifications to synchronous guarded actions
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
Jens Brandt, Klaus Schneider, Sandeep K. Shukla
225
Voted
MM
2010
ACM
220views Multimedia» more  MM 2010»
15 years 15 days ago
Bateau ivre: an artistic markerless outdoor mobile augmented reality installation on a riverboat
Bateau Ivre is a project presented on the Seine River to make a large audience aware of the possible developments of Augmented Reality through an artistic installation in a mobile...
Christian Jacquemin, Wai Kit Chan, Matthieu Courge...
139
Voted
OPODIS
2010
15 years 15 days ago
On the Automated Implementation of Time-Based Paxos Using the IOA Compiler
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
Chryssis Georgiou, Procopis Hadjiprocopiou, Peter ...