994 search results - page 41 / 199 » Modeling task allocation using a decision theoretic model |
109
Voted
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
123
click to vote
WEA
2005
Springer
15 years 7 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
118
click to vote
RBAC
2000
15 years 3 months ago
2000
: Enabling Technologies for Role Based Online Decision Engines Thomas Hildmann, Thomas Gebhardt 22-Feb-2000 The goal of our work at the Technical University of Berlin is to develop...
130
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper theoretically analyzes cross-layer optimized design of transmit power allocation in distributed interference-limited wireless networks with asynchronously ac...
145
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
In this work, we study the problem of power allocation in teams. Each team consists of two agents who try to split their available power between the tasks of communication and jam...