5863 search results - page 1099 / 1173 » Calculating Functional Programs |
148
Voted
TON
2012
13 years 4 months ago
2012
Abstract—Wireless networks (including wireless mesh networks) provide opportunities for using multiple paths. Multihoming of hosts, possibly using different technologies and prov...
133
Voted
TON
2012
13 years 4 months ago
2012
—Anonymous wireless networking is studied when an adversary monitors the transmission timing of an unknown subset of the network nodes. For a desired quality of service (QoS), as...
383
Voted
ICSE
2012
IEEE-ACM
13 years 4 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
170
Voted
ICSE
2007
IEEE-ACM
15 years 8 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
128
Voted
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Many classes of images have the characteristics of sparse structuring of statistical dependency and the presence of conditional independencies among various groups of variables. S...