1699 search results - page 104 / 340 » On the Expressive Power of QLTL |
202
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
104
click to vote
STORYTELLING
2007
Springer
15 years 7 months ago
2007
Springer
Virtual agents, to be expressive, not only need algorithms for displaying the subtleties of human behaviour, but also require environments and tools so that people can author them....
VTC
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper focuses on the modelling of the reverse link of a WCDMA system in a non-homogeneous environment. Multiple traffic spatial and service non-uniformities are considered...
IFIP
1989
Springer
15 years 5 months ago
1989
Springer
ÐBSR (Broadcasting with Selective Reduction) is a PRAM more powerful than any CRCW PRAM. In order to extend the Broadcast Instruction of BSR and make it more useful for a large cl...
110
click to vote
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...