Sciweavers

4971 search results - page 130 / 995
» Observation systems
Sort
View
SIGIR
1996
ACM
14 years 1 months ago
Evaluating User Interfaces to Information Retrieval Systems: A Case Study on User Support
Designing good user interfaces to information retrieval systems is a complex activity. The design space is large and evaluation methodologies that go beyond the classical precisio...
Giorgio Brajnik, Stefano Mizzaro, Carlo Tasso
LFCS
2007
Springer
14 years 3 months ago
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
HPDC
2005
IEEE
14 years 2 months ago
Design and evaluation of a new and effective fairness scheme for multicasting in Internet-scale distributed systems
This paper argues that simply applying a multipletree scheme does not provide sufficient fairness for applications in an Internet-scale distributed system, in terms of performance...
Yijun Lu, Hong Jiang
IFIP
2009
Springer
14 years 1 months ago
Secure Information Flow for Distributed Systems
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
Rafael Alpízar, Geoffrey Smith
EVOTING
2004
74views Hardware» more  EVOTING 2004»
13 years 10 months ago
The UK Deployment of the E-Electoral Register
: In this paper we analyse the experience gained in the 2002 and 2003 UK e-voting pilots in the implementation of the e-electoral register of voters. After theoretically establishi...
Alexandros Xenakis, Ann Macintosh