9370 search results - page 1509 / 1874 » An Abstract Notion of Application |
205
click to vote
SPIRE
2004
Springer
16 years 4 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 ...
175
click to vote
TACAS
2004
Springer
16 years 4 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...
176
click to vote
UPP
2004
Springer
16 years 4 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...
170
click to vote
VIZSEC
2004
Springer
16 years 4 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...
184
click to vote
VMCAI
2004
Springer
16 years 4 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...