Sciweavers

1124 search results - page 84 / 225
» Constructing Common Information Spaces
Sort
View
145
Voted
CCS
2009
ACM
16 years 5 months ago
Confidentiality-preserving distributed proofs of conjunctive queries
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
Adam J. Lee, Kazuhiro Minami, Nikita Borisov
ISVC
2009
Springer
15 years 11 months ago
A Practical Guide to Large Tiled Displays
Abstract. The drive for greater detail in scientific computing and digital photography is creating demand for ultra-resolution images and visualizations. Such images are best view...
Paul A. Navrátil, Brandt M. Westing, Gregor...
KBSE
2009
IEEE
15 years 11 months ago
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Hal...
GRAPHICSINTERFACE
2008
15 years 5 months ago
Lightweight task/application performance using single versus multiple monitors: a comparative study
It is becoming increasingly common to see computers with two or even three monitors being used today. People seem to like having more display space available, and intuition tells ...
Youn ah Kang, John T. Stasko
IDEAS
2010
IEEE
141views Database» more  IDEAS 2010»
15 years 2 months ago
Modeling synchronized time series
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
Zoé Faget, Philippe Rigaux, David Gross-Amb...