11066 search results - page 2136 / 2214 » Linearity in Process Languages |
130
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
108
Voted
CHI
2003
ACM
16 years 3 months ago
2003
ACM
In the past, most early hands-on users of interactive software in organizations were individual contributors. Managers as early adopters is a new trend with significant implicatio...
216
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
The growing nature of databases, and the flexibility inherent in the SQL query language that allows arbitrarily complex formulations, can result in queries that take inordinate am...
191
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
225
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...