5409 search results - page 799 / 1082 » Basic Observables for Processes |
212
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
142
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
172
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
179
click to vote
SSD
2007
Springer
15 years 11 months ago
2007
Springer
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
173
Voted
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...