1734 search results - page 157 / 347 » What works |
AIMSA
2008
Springer
14 years 4 months ago
2008
Springer
Documents, especially long ones, may contain very diverse passages related to different topics. Passages Retrieval approaches have shown that, in most cases, there is a great pote...
CAV
2010
Springer
14 years 2 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...
TSE
1998
13 years 10 months ago
1998
ABSTRACT. This paper presents a novel, scenario-based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
For wireless mobile Internet users the length of the battery life is one of the most important performance factors. The energy efficiency of the data transmission over radio is a ...