1087 search results - page 89 / 218 » Achieving Distributed Control through Model Checking |
120
click to vote
IEEECIT
2006
IEEE
15 years 8 months ago
2006
IEEE
In the framework of GridRPC, a new function that allows direct data transfer between RPC servers is implemented for efficient execution of a Task Sequencing job in a grid environ...
138
click to vote
JSAC
2007
15 years 2 months ago
2007
Abstract— The current approach in web searching, i.e., centralized search engines, rises issues that question their future applicability: 1) coverage and scalability, 2) freshnes...
131
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
In kernel density estimation methods, an approximation of the data probability density function is achieved by locating a kernel function at each data location. The smoothness of ...
119
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
COMAD
2008
15 years 3 months ago
2008
Personalized rendering of web pages gives the users greater control to view only what they prefer. The goal of this work is to provide a tool that will let users customize the con...