53390 search results - page 10573 / 10678 » Computer Systems Analysis |
161
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
144
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
132
click to vote
BTW
2007
Springer
15 years 11 months ago
2007
Springer
: Statistics that accurately describe the distribution of data values in the columns of relational tables are essential for effective query optimization in a database management sy...
150
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Intrusion detection is a critical component of secure information systems. Network anomaly detection has been an active and difficult research topic in the field of Intrusion Dete...
167
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...