Sciweavers

6796 search results - page 1240 / 1360
» Java for Embedded Systems
Sort
View
118
Voted
CONCUR
2003
Springer
15 years 8 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
167
Voted
DBPL
2003
Springer
144views Database» more  DBPL 2003»
15 years 8 months ago
A General Framework for Estimating XML Query Cardinality
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
Carlo Sartiani
FC
2003
Springer
111views Cryptology» more  FC 2003»
15 years 8 months ago
Squealing Euros: Privacy Protection in RFID-Enabled Banknotes
Abstract. Thanks to their broad international acceptance and availability in high denominations, there is widespread concern that Euro banknotes may provide an attractive new curre...
Ari Juels, Ravikanth Pappu
112
Voted
FOSSACS
2003
Springer
15 years 8 months ago
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
Andreas Abel, Ralph Matthes, Tarmo Uustalu
139
Voted
HUC
2003
Springer
15 years 8 months ago
Context-Aware Computing with Sound
We propose audio networking: using ubiquitously available sound hardware (i.e. speakers, sound-cards and microphones) for lowbandwidth, wireless networking. A variety of location- ...
Anil Madhavapeddy, David Scott, Richard Sharp
« Prev « First page 1240 / 1360 Last » Next »