3169 search results - page 134 / 634 » A General Framework for Large Scale Systems Development |
153
click to vote
ANOR
2010
15 years 6 months ago
2010
Abstract Irregularities are widespread in large databases and often lead to erroneous conclusions with respect to data mining and statistical analysis. For example, considerable bi...
277
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
A system that enables real time query processing on large spatial networks is demonstrated. The system provides functionality for processing a wide range of spatial queries such a...
196
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
153
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
230
click to vote
EDBT
2011
ACM
14 years 10 months ago
2011
ACM
The popularity of batch-oriented cluster architectures like Hadoop is on the rise. These batch-based systems successfully achieve high degrees of scalability by carefully allocati...