Sciweavers

14558 search results - page 417 / 2912
» Resources
Sort
View
ATAL
2004
Springer
16 years 8 days ago
A Complete and Decidable Logic for Resource-Bounded Agents
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
Natasha Alechina, Brian Logan, Mark Whitsey
EMSOFT
2004
Springer
16 years 7 days ago
Using resource reservation techniques for power-aware scheduling
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...
Claudio Scordino, Giuseppe Lipari
129
Voted
GCB
2004
Springer
85views Biometrics» more  GCB 2004»
16 years 7 days ago
glycosciences.de:  An Internet Portal for Glyco-related Data from Open Access Resources
Thomas Götz, Andreas Bohne-Lang, Martin Frank...
GECCO
2004
Springer
16 years 7 days ago
Search-Based Techniques for Optimizing Software Project Resource Allocation
Giuliano Antoniol, Massimiliano Di Penta, Mark Har...