12774 search results - page 2361 / 2555 » A Framework for Proof Systems |
169
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
The majority of CPUs now sold contain multiple computing cores. However, current desktop grid computing systems either ignore the multiplicity of cores, or treat them as distinct,...
241
click to vote
OPODIS
2010
15 years 4 months ago
2010
We consider the problem of scheduling dependent real-time tasks for overloads on a multiprocessor system, yielding best-effort timing assurance. The application/scheduling model in...
211
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...
191
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
We develop query relaxation techniques for regular path queries and combine them with query approximation in order to support flexible querying of RDF data when the user lacks know...
203
Voted
SOCIALCOM
2010
15 years 4 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...