811 search results - page 135 / 163 » Refactoring Using Type Constraints |
ADHOC
2011
2011
RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks
13 years 16 days ago
—Stringent cost and energy constraints impose the use of low-cost and low-power radio transceivers in large-scale wireless sensor networks (WSNs). This fact, together with the ha...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
The querying and analysis of data streams has been a topic of much recent interest, motivated by applications from the fields of networking, web usage analysis, sensor instrumenta...
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
CVGIP
2006
13 years 9 months ago
2006
The postures a character adopts over time are a key expressive aspect of her movement. While IK tools help a character achieve positioning constraints, there are few tools that he...