3931 search results - page 467 / 787 » Separation logic and abstraction |
227
click to vote
MDA
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Caching frequently accessed data at the client is an attractive technique for improving access time. In a mobile computing environment, client location becomes a piece of...
178
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
185
click to vote
WG
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In random geometric graphs, vertices are randomly distributed on [0, 1]2 and pairs of vertices are connected by edges whenever they are sufficiently close together. Layou...
175
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a uni ed approach for expressing high performance numerical linear algebra routines for a class of dense and sparse matrix formats and shapes. As with the Stan...
155
click to vote
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Perhaps one the newest and of the more interesting cooperative approaches to evolutionary computation which has been more recently explored is the area of mutualism. In m...