1699 search results - page 265 / 340 » On the Expressive Power of QLTL |
161
click to vote
ICT
2004
Springer
15 years 11 months ago
2004
Springer
— In this paper we determine bounds of the capacity region of a two-user multipleaccess channel with Rayleigh fading when neither the transmitters nor the receiver has channel st...
165
click to vote
ICWL
2004
Springer
15 years 11 months ago
2004
Springer
This Paper introduces PKUSpace - a collaborative platform for scientific learning and researching. Supported by efficient automated metadata extraction and powerful text classifica...
198
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
159
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
199
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...