6978 search results - page 1181 / 1396 » On Proofs in System P |
ECAI
2008
Springer
14 years 13 days ago
2008
Springer
1 In multi-agent systems (MAS), coalition formation is typically studied using characteristic function game (CFG) representations, where the performance of any coalition is indepen...
ECSA
2008
Springer
14 years 13 days ago
2008
Springer
Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high ...
EUROSEC
2008
ACM
14 years 12 days ago
2008
ACM
IP Traceback systems facilitate tracing of IP packets back to their origin, despite possibly forged or overwritten source address data. A common shortcoming of existing proposals ...
LREC
2010
14 years 3 days ago
2010
SINotas is a data-to-text NLG application intended to produce short textual reports on students'academic performance from a database conveying their grades, weekly attendance...
ICWN
2007
14 years 2 days ago
2007
—To meet the demand for broadband wireless communication, wireless systems should work well in typical wireless environments, characterized by the path loss of the signals, multi...