1209 search results - page 177 / 242 » Universal Algebra and Computer Science |
129
click to vote
PODS
2012
ACM
13 years 4 months ago
2012
ACM
We study the mergeability of data summaries. Informally speaking, mergeability requires that, given two summaries on two data sets, there is a way to merge the two summaries into ...
119
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
We present Flicker, an infrastructure for executing securitysensitive code in complete isolation while trusting as few as 250 lines of additional code. Flicker can also provide me...
137
click to vote
AIEDU
2008
15 years 2 months ago
2008
The idea that teaching others is a powerful way to learn is intuitively compelling and supported in the research literature. We have developed computer-based, domain-independent Te...
141
click to vote
COMPGEOM
2006
ACM
15 years 8 months ago
2006
ACM
We extend linkage unfolding results from the well-studied case of polygonal linkages to the more general case of linkages of polygons. More precisely, we consider chains of nonove...
128
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...