Sciweavers

7421 search results - page 108 / 1485
» In search of dependable design
Sort
View
RTSS
1999
IEEE
15 years 10 months ago
On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
Purnendu Sinha, Neeraj Suri
ER
2006
Springer
137views Database» more  ER 2006»
15 years 10 months ago
Preference Functional Dependencies for Managing Choices
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
Wilfred Ng
CHI
2006
ACM
16 years 6 months ago
In search of end-users
Learning from end-users is essential to participatory design. In order to learn from end-users we need to find end-users to collaborate with. However, finding end-users can be the...
Rachel K. E. Bellamy, Tracee Vetting Wolf, Rhonda ...
EVOW
2009
Springer
15 years 11 months ago
Finding Balanced Incomplete Block Designs with Metaheuristics
This paper deals with the generation of balanced incomplete block designs (BIBD), a hard constrained combinatorial problem with multiple applications. This problem is here formulat...
David Rodríguez Rueda, Carlos Cotta, Antoni...
WWW
2007
ACM
16 years 7 months ago
Brand awareness and the evaluation of search results
We investigate the effect of search engine brand (i.e., the identifying name or logo that distinguishes a product from its competitors) on evaluation of system performance. This r...
Bernard J. Jansen, Mimi Zhang, Ying Zhang