9370 search results - page 1509 / 1874 » An Abstract Notion of Application |
236
click to vote
SPIRE
2004
Springer
16 years 27 days ago
2004
Springer
Abstract Searching information resources using mobile devices is affected by displays on which only a small fraction of the set of ranked documents can be displayed. In this study ...
200
click to vote
TACAS
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
186
click to vote
UPP
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
195
click to vote
VIZSEC
2004
Springer
16 years 26 days ago
2004
Springer
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
212
click to vote
VMCAI
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...