3773 search results - page 198 / 755 » A DoS-resilient information system for dynamic data manageme... |
191
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
228
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Real-world, multiple-typed objects are often interconnected, forming heterogeneous information networks. A major challenge for link-based clustering in such networks is its potent...
161
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
195
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
185
click to vote
ICMCS
1994
IEEE
15 years 10 months ago
1994
IEEE
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...