1042 search results - page 73 / 209 » Towards Requirements Engineering of Active Database Systems |
122
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
228
Voted
GIS
2005
ACM
16 years 4 months ago
2005
ACM
Several application contexts require the ability to use together and compare different geographic datasets (maps) concerning the same or overlapping areas. This is for example the...
163
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
172
Voted
HIPC
2009
Springer
15 years 1 months ago
2009
Springer
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
194
Voted
Publication
Applications that create and consume unstructured data have grown both in scale of storage requirements and complexity of search primitives. We consider two such applications: exha...