529 search results - page 63 / 106 » Property Directed Abstract Interpretation |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— A complete complementary codes based direct sequence code division multiple access (CC/DS-CDMA) system was recently proposed to offer isotropic interference free transm...
MOBIQUITOUS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
ICANN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Recurrent neural networks (RNNs) have proved effective at one dimensional sequence learning tasks, such as speech and online handwriting recognition. Some of the properti...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...