4485 search results - page 655 / 897 » Equivalences on Observable Processes |
136
click to vote
CHI
2007
ACM
16 years 4 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...
166
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...
173
click to vote
SSD
2007
Springer
15 years 10 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 ...
169
click to vote
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...
139
click to vote
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the user...