2948 search results - page 246 / 590 » More Principled Design of Pervasive Computing Systems |
193
click to vote
ICASSP
2008
IEEE
16 years 29 days ago
2008
IEEE
Pulse compression radar systems make use of transmit code sequences and receive filters that are specially designed to achieve good range resolution and target detection capabili...
198
click to vote
DIALM
1999
ACM
15 years 10 months ago
1999
ACM
In this paper, we attempt to describe the evolving status of wireless communications and its impact on the future of mobile computing. We present a historical perspective and eluc...
174
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
169
click to vote
AFRICACRYPT
2010
Springer
16 years 1 months ago
2010
Springer
Modern multi-user communication systems, including popular instant messaging tools, social network platforms, and cooperative-work applications, offer flexible forms of communica...
183
click to vote
PPAM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...