4418 search results - page 731 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
184
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...
213
click to vote
P2P
2006
IEEE
16 years 14 days ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
199
click to vote
ICDCN
2009
Springer
16 years 1 months ago
2009
Springer
Given a set of robots with arbitrary initial location and no agreement on a global coordinate system, convergence requires that all robots asymptotically approach the exact same, ...
205
click to vote
PAM
2010
Springer
16 years 1 months ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...
158
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...