1580 search results - page 261 / 316 » CoTeSys - Cognition for Technical Systems |
185
click to vote
CN
1999
15 years 6 months ago
1999
ZUser mobility poses a significant technical challenge to network resource management in wireless ATM Asynchronous . Z .Transfer Mode networks. In order to guarantee quality of se...
153
click to vote
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
149
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—Municipal Wi-Fi networks aim at providing Internet access and selected mobile network services to citizens, travelers, and civil servants. The goals of these networks ar...
138
click to vote
TOPLAS
2010
15 years 4 months ago
2010
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
142
click to vote
EMNLP
2010
15 years 4 months ago
2010
We present a simple, robust generation system which performs content selection and surface realization in a unified, domain-independent framework. In our approach, we break up the...