4476 search results - page 819 / 896 » A flexible framework for engineering |
183
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
172
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
An increasing number of social networking platforms are giving users the option to endorse entities that they find appealing, such as videos, photos, or even other users. We defin...
159
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Many have speculated that classifying web pages can improve a search engine's ranking of results. Intuitively results should be more relevant when they match the class of a q...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: In this paper we are proposing a new concept in MAC layer protocol design for Cognitive radio by combining information held by physical layer and MAC layer with analytical engine...
157
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Applications such as traffic engineering and network provisioning can greatly benefit from knowing, in real time, what is the largest input rate at which it is possible to transmit...