1867 search results - page 323 / 374 » Model-Checking Based Data Retrieval |
LATIN
2004
Springer
14 years 4 months ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
CBMS
2003
IEEE
14 years 4 months ago
2003
IEEE
The market for health care systems supporting physicians and improving their daily routine is steadily growing. The development of these systems requires handling medical knowledg...
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
There have been recent improvements in document technologies like the standardization of object interfaces to access and manipulate the properties of web documents. There has also...
ICSOC
2003
Springer
14 years 4 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
– Efficient data retrieval in a peer-to-peer system like Freenet is a challenging problem. In this paper we study the impact of cache replacement policy on the performance of Fre...