3256 search results - page 534 / 652 » Applications of Formal Methods to System Design and Verifica... |
JKM
2007
14 years 9 months ago
2007
Purpose – The purpose of this paper is to distinguish and describe knowledge management (KM) technologies according to their support for strategy. Design/methodology/approach â€...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
Content-based retrieval (CBIR) methods in medical databases have been designed to support specific tasks, such as retrieval of digital mammograms or 3D MRI images. These methods c...
103
click to vote
DCC
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper investigates the design and application of the optimal filter banks for a predictioncompensated multiple description coding (PC-MDC) scheme, where the coefficients in e...
MIDDLEWARE
2007
Springer
15 years 4 months ago
2007
Springer
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
EDOC
2004
IEEE
15 years 1 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...