2063 search results - page 199 / 413 » connection 2007 |
158
click to vote
CAI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we examine spectral properties of random intersection graphs when the number of vertices is equal to the number of labels. We call this class symmetric rand...
179
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
In this paper, we develop an analytical framework to measure the vulnerability of superpeer networks against attack. Two different kinds of attacks namely deterministic and degre...
159
click to vote
CSCWD
2007
Springer
16 years 22 days ago
2007
Springer
Ubiquitous computing is increasingly becoming part of our lives. Various computing devices, having different sizes and capabilities, and using different software platforms are part...
193
click to vote
CSL
2007
Springer
16 years 22 days ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
159
click to vote
CSL
2007
Springer
16 years 22 days ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...