9325 search results - page 1449 / 1865 » The decentralized implementability problem |
200
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
165
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes "Second Life" as a novel type of testbed and simulation environment for sensor-based applications. Second Life is a popular virtual online world tha...
158
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
179
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
180
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...