Search Sciweavers | Sciweavers

14558 search results - page 419 / 2912

» Resources

174

click to vote

LPAR
2004
Springer

102views Automated Reasoning» more LPAR 2004»

Implementing Efficient Resource Management for Linear Logic Programming

16 years 7 days ago

Download unit.aist.go.jp

Pablo López, Jeff Polakow

claim paper

Read More »

178

Voted

NMR
2004
Springer

230views Automated Reasoning» more NMR 2004»

A resource bounded default logic

16 years 6 days ago

Download centria.di.fct.unl.pt

This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...

Gregory R. Wheeler

claim paper

Read More »

128

click to vote

NPC
2004
Springer

93views Distributed And Parallel Com...» more NPC 2004»

A Data-Aware Resource Broker for Data Grids

16 years 6 days ago

Download www.csie.thu.edu.tw

Huy Le, Paul D. Coddington, Andrew L. Wendelborn

claim paper

Read More »

141

click to vote

POLICY
2004
Springer

114views Computer Networks» more POLICY 2004»

Automated Generation of Resource Configurations through Policies

16 years 6 days ago

Download www.hpl.hp.com

Akhil Sahai, Sharad Singhal, Vijay Machiraju, Raje...

claim paper

Read More »

151

click to vote

TACAS
2004
Springer

97views Algorithms» more TACAS 2004»

Resource-Optimal Scheduling Using Priced Timed Automata

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers