4488 search results - page 591 / 898 » Properties of NP-Complete Sets |
176
click to vote
CCS
2005
ACM
16 years 11 days ago
2005
ACM
We investigate whether it is possible to encrypt a database and then give it away in such a form that users can still access it, but only in a restricted way. In contrast to conve...
202
click to vote
ISSTA
2004
ACM
16 years 8 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
215
click to vote
ICS
2004
Tsinghua U.
16 years 6 days ago
2004
Tsinghua U.
Cache hierarchies have been traditionally designed for usage by a single application, thread or core. As multi-threaded (MT) and multi-core (CMP) platform architectures emerge and...
204
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
233
click to vote
ISPA
2004
Springer
16 years 6 days ago
2004
Springer
Static DHT topologies influence important features of such DHTs such as scalability, communication load balancing, routing efficiency and fault tolerance. Nevertheless, it is co...