102291 search results - page 19676 / 20459 » Computing |
188
click to vote
APPT
2005
Springer
16 years 22 days ago
2005
Springer
Simultaneous MultiThreading (SMT) achieves better system resource utilization and higher performance because it exploits ThreadLevel Parallelism (TLP) in addition to “conventiona...
185
click to vote
ATAL
2005
Springer
16 years 22 days ago
2005
Springer
Sequential auctions are an important mechanism for buying/selling multiple objects. Existing work has studied sequential auctions for objects that are exclusively either common va...
161
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
Collaboration plays a critical role when a team is striving for goals that are difficult to achieve by an individual. In previous work, we defined the ETAPP (Environment-TaskAgen...
230
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
216
click to vote
ATAL
2005
Springer
16 years 21 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...