2705 search results - page 366 / 541 » Formal Ontology for Subject |
90
Voted
ICFP
2003
ACM
16 years 21 days ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
97
Voted
ICFP
2002
ACM
16 years 21 days ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
99
Voted
MOBIHOC
2008
ACM
16 years 10 days ago
2008
ACM
Local monitoring is an effective mechanism for the security of wireless sensor networks (WSNs). Existing schemes assume the existence of sufficient number of active nodes to carry...
88
Voted
MOBIHOC
2008
ACM
16 years 10 days ago
2008
ACM
Recently, cooperative communications, in the form of keeping each node with a single antenna and having a node exploit a relay node's antenna, is shown to be a promising appr...
116
click to vote
MOBIHOC
2007
ACM
16 years 10 days ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...