13734 search results - page 2522 / 2747 » Abstractions of data types |
154
click to vote
SIGOPS
2010
15 years 4 months ago
2010
Cloud computing carries the promise of providing powerful ls and abstractions that could transform the way IT services are delivered today. In order to establish the readiness of ...
185
click to vote
SIMPAR
2010
15 years 4 months ago
2010
Abstract. The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with ...
183
click to vote
SPIRE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider fingerprinting methods for collaborative filtering (CF) systems. In general, CF systems show their real strength when supplied with enormous data sets. Earl...
164
click to vote
STTT
2010
15 years 4 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
194
click to vote
TCOM
2010
15 years 4 months ago
2010
Abstract—We analyze the performance of fiber fault monitoring of a PON using a centralized, passive optical coding (OC) system. We develop an expression for the detected monitor...