29147 search results - page 5651 / 5830 » System Modeling Resurrected |
177
click to vote
ATAL
2005
Springer
16 years 20 hour ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
222
click to vote
CAV
2005
Springer
16 years 17 hour ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
189
click to vote
CCS
2005
ACM
16 years 17 hour ago
2005
ACM
Automated trust negotiation is an approach which establishes trust between strangers through the bilateral, iterative disclosure of digital credentials. Sensitive credentials are ...
186
click to vote
CP
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
196
click to vote
ER
2005
Springer
16 years 8 hour ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...