4498 search results - page 175 / 900 » The Power of Data |
155
Voted
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
126
click to vote
RULEML
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
148
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— There is a clear trend of future embedded systems in moving toward wireless, multimedia, multi-functional and ubiquitous applications. This emerges new challenges in th...
206
click to vote
LCN
2005
IEEE
15 years 10 months ago
2005
IEEE
—Wireless sensor networks afford a new opportunity to observe and interact with physical phenomena at an unprecedented fidelity. To fully realize this vision, these networks have...
131
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
This demonstration shows an integrated query processing environment where users can seamlessly query both a data stream management system and a sensor network with one query expre...