8874 search results - page 1603 / 1775 » A New Implementation of Automath |
142
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
146
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
In the rapidly developing field of sensor networks, bridging the gap between the applications and the hardware presents a major challenge. Although middleware is one solution, it ...
120
Voted
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
With the advent of tiny networked devices, Mark Weiser's vision of a world embedded with invisible computers is coming to age. Due to their small size and relative ease of dep...
167
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
131
Voted
MOBIHOC
2007
ACM
16 years 4 months ago
2007
ACM
A substantial percentage of links in wireless networks, especially low-power ones, is asymmetric. For the low-quality direction of asymmetric links, we observe based on testbed ex...