13370 search results - page 2402 / 2674 » Accessibility in Information Retrieval |
156
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
183
Voted
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Performance and reliability of content access in mobile networks is conditioned jointly by the number and location of content replicas deployed at the network nodes. The...
169
click to vote
WIKIS
2010
ACM
15 years 10 months ago
2010
ACM
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
162
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
HTTP provides a mechanism to connect web sites. Almost all sites have a large amount of hypertext content that provides connection to other sites in the World Wide Web. The succes...
186
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
We consider a problem where two selfish cognitive radio users try to share two channels on which they each have potentially different valuations. We first formulate the problem as ...