1087 search results - page 89 / 218 » Achieving Distributed Control through Model Checking |
IEEECIT
2006
IEEE
14 years 3 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...
JSAC
2007
13 years 9 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...
ICPR
2008
IEEE
14 years 10 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 ...
CCS
2010
ACM
13 years 8 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
13 years 10 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...