Sciweavers

1058 search results - page 66 / 212
» Fault-Tolerant Resource Reasoning
Sort
View
101
Voted
IJCAI
1993
15 years 2 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
83
Voted
EPEW
2007
Springer
15 years 7 months ago
Resource Sharing in Performance Models
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
Vlastimil Babka, Martin Decký, Petr Tuma
85
Voted
CORR
2006
Springer
101views Education» more  CORR 2006»
15 years 23 days ago
Foundations of Modern Language Resource Archives
A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...
Peter Wittenburg, Daan Broeder, Wolfgang Klein, St...
116
Voted
ISORC
2008
IEEE
15 years 7 months ago
A Hierarchical Resource Management Scheme Enabled by the TMO Programming Scheme
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
K. H. (Kane) Kim, Yuqing Li, Kee-Wook Rim, Eltefaa...
120
Voted
WEA
2010
Springer
241views Algorithms» more  WEA 2010»
15 years 7 months ago
A Branch-and-Price Algorithm for Multi-mode Resource Leveling
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
Eamonn T. Coughlan, Marco E. Lübbecke, Jens S...