7049 search results - page 1233 / 1410 » Data Abstraction for CSP-OZ |
191
click to vote
SIMPAR
2010
15 years 5 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 ...
186
click to vote
SPIRE
2010
Springer
15 years 5 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...
171
click to vote
STTT
2010
15 years 5 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 ...
200
click to vote
TCOM
2010
15 years 5 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...
177
click to vote
TCOM
2010
15 years 5 months ago
2010
Abstract—In packet communication systems, a header is attached to the transmitted packet at each layer. The overhead due to the transmission of the individual header can have a s...