376 search results - page 29 / 76 » Developing Theories of Types and Computability via Realizabi... |
ADHOCNOW
2007
Springer
14 years 1 months ago
2007
Springer
The in-network aggregation and processing of information is what sets a sensor network apart from a pure data acquisition device. One way to model the exchange of information betwe...
FOSSACS
2004
Springer
14 years 28 days ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
MOBICOM
2012
ACM
11 years 10 months ago
2012
ACM
GPS is one of the most widely used wireless systems. A GPS receiver has to lock on the satellite signals to calculate its position. The process of locking on the satellites is qui...
TCBB
2011
13 years 2 months ago
2011
—We study the problem of merging genetic maps, when the individual genetic maps are given as directed acyclic graphs. The computational problem is to build a consensus map, which...
SIGCOMM
1994
ACM
13 years 11 months ago
1994
ACM
The Network Time Protocol (NTP) is widely deployed in the Internet to synchronize computer clocks to each other and to international standards via telephone modem, radio and satel...