Sciweavers

1092 search results - page 170 / 219
» Automated Evaluation of Coordination Approaches
Sort
View
ERCIMDL
2004
Springer
180views Education» more  ERCIMDL 2004»
15 years 11 months ago
Next Generation Search Interfaces - Interactive Data Exploration and Hypothesis Formulation
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
Jane Hunter, Katya Falkovych, Suzanne Little
MM
2003
ACM
125views Multimedia» more  MM 2003»
15 years 11 months ago
Automatic browsing of large pictures on mobile devices
Pictures have become increasingly common and popular in mobile communications. However, due to the limitation of mobile devices, there is a need to develop new technologies to fac...
Hao Liu, Xing Xie, Wei-Ying Ma, HongJiang Zhang
PODC
2010
ACM
15 years 10 months ago
Brief announcement: anonymity and trust in distributed systems
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
Michael Backes, Stefan Lorenz, Matteo Maffei, Kim ...
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 8 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
ICWS
2007
IEEE
15 years 7 months ago
Capacity Management and Demand Prediction for Next Generation Data Centers
Advances in server, network, and storage virtualization are enabling the creation of resource pools of servers that permit multiple application workloads to share each server in t...
Daniel Gmach, Jerry Rolia, Ludmila Cherkasova, Alf...