674 search results - page 126 / 135 » Toward Self-Stabilizing Operating Systems |
118
Voted
SOUPS
2010
ACM
15 years 2 months ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...
114
click to vote
SIMVIS
2007
14 years 11 months ago
2007
The amount of data to be represented by visualization systems requires new ideas for data processing and representation. As proposed in this contribution, this might be solved by ...
ANCS
2005
ACM
15 years 3 months ago
2005
ACM
Large-scale applications require the efficient exchange of data across their distributed components, including data from heterogeneous sources and to widely varying clients. Inher...
STACS
1999
Springer
15 years 2 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
AROBOTS
2007
14 years 10 months ago
2007
— A team of small, low-cost robots instead of a single large, complex robot is useful in operations such as search and rescue, urban exploration etc. However, the performance of ...