187 search results - page 35 / 38 » Towards Measurable Types for Dynamical Process Modeling Lang... |
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
SIGMOD
2009
ACM
14 years 9 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...
SIGIR
2012
ACM
11 years 11 months ago
2012
ACM
Query auto-completion (QAC) is a common feature in modern search engines. High quality QAC candidates enhance search experience by saving users time that otherwise would be spent ...
CIKM
2000
Springer
14 years 1 months ago
2000
Springer
—As databases increasingly integrate different types of information such as multimedia, spatial, time-series, and scientific data, it becomes necessary to support efficient retri...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Recent evidences indicate that most faults in software systems are found in only a few of a system's components [1]. The early identification of these components allows an or...