918 search results - page 86 / 184 » Alternation in Interaction |
SIGMOD
1998
ACM
14 years 1 months ago
1998
ACM
The CONTROL project at U.C. Berkeley has developed technologies to provide online behavior for data-intensive applications. Using new query processing algorithms, these technologi...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
Abstract. Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer's toolkit, but progress has been limit...
UCS
2004
Springer
14 years 2 months ago
2004
Springer
We developed AirTransNote, a computer-mediated classroom collaboration system. The system enables real-time note-sharing. AirTransNote manages notes written by students on paper a...
JCDL
2003
ACM
14 years 2 months ago
2003
ACM
To support non-trivial clients, such as data exploration and analysis environments, digital libraries must be able to describe the access modes that their contents support. We pre...