Sciweavers

380 search results - page 45 / 76
» The End of Science Revisited
Sort
View
CSE
2009
IEEE
15 years 1 months ago
Extended Dempster-Shafer Theory in Context Reasoning for Ubiquitous Computing Environments
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
Daqiang Zhang, Jiannong Cao, Jingyu Zhou, Minyi Gu...
AMAI
2007
Springer
14 years 9 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
TSE
2008
103views more  TSE 2008»
14 years 9 months ago
The Impact of Educational Background on the Effectiveness of Requirements Inspections: An Empirical Study
While the inspection of various software artifacts increases the quality of the end product, the effectiveness of an inspection largely depends on the individual inspectors involve...
Jeffrey C. Carver, Nachiappan Nagappan, Alan Page
ECCC
2000
120views more  ECCC 2000»
14 years 9 months ago
A Complete Problem for Statistical Zero Knowledge
Abstract. We present the first complete problem for SZK, the class of promise problems possessing statistical zero-knowledge proofs (against an honest verifier). The problem, calle...
Amit Sahai, Salil P. Vadhan
CSCW
2002
ACM
14 years 9 months ago
Empirical development of a heuristic evaluation methodology for shared workspace groupware
Good real time groupware products are hard to develop, in part because evaluating their support for basic teamwork activities is difficult and costly. To address this problem, we ...
Kevin Baker, Saul Greenberg, Carl Gutwin