13603 search results - page 414 / 2721 » On the Computational Complexity of Cut-Reduction |
197
click to vote
GI
2003
Springer
16 years 28 days ago
2003
Springer
: The integrated approach for analysis of Large Complex Critical Infrastructures (LCCIs) to afford survivability aimed at preparing a Roadmap for Research and Development for criti...
221
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Coalition formation is a key topic in multi–agent systems (mas). Coalitions enable agents to achieve goals that they may not have been able to achieve independently, and encoura...
199
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
222
Voted
PCI
2005
Springer
16 years 1 months ago
2005
Springer
Ubiquitous systems are characterized by multi-fold complexity, stemming mainly from the vast number of possible interactions between many heterogeneous objects and services. Device...
208
click to vote
DBISP2P
2003
Springer
16 years 28 days ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...