5550 search results - page 252 / 1110 » Different Approaches to Proof Systems |
197
click to vote
JCSC
2002
15 years 6 months ago
2002
Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...
183
click to vote
AMW
2009
15 years 7 months ago
2009
Abstract. Peer data sharing systems use either schema-level or data-level mappings to resolve schema as well as data heterogeneity among data sources (peers). Schema-level mappings...
168
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
Future MIR systems will be of great use and pleasure for potential users. If researchers have a clear picture about their “customers” in mind they can aim at building and eval...
166
click to vote
ICDCSW
2006
IEEE
16 years 20 days ago
2006
IEEE
Subscription pruning has been proven as valuable routing optimization for Boolean subscriptions in publish/subscribe systems. It aims at optimizing subscriptions independently of ...
180
Voted
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
A well-known problem in P2P systems is freeriding, where users do not share content if there is no incentive to do so. In this paper, we distinguish lazy freeriders that are merel...