Sciweavers

9245 search results - page 1383 / 1849
» Virtualization
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
16 years 28 days ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
16 years 28 days ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
SEMWEB
2009
Springer
16 years 28 days ago
XLWrap - Querying and Integrating Arbitrary Spreadsheets with SPARQL
In this paper a novel approach is presented for generating RDF graphs of arbitrary complexity from various spreadsheet layouts. Currently, none of the available spreadsheet-to-RDF ...
Andreas Langegger, Wolfram Wöß
ACMACE
2009
ACM
16 years 27 days ago
Camera-based interactions for augmented reality
We investigate camera-based interaction techniques suitable for generating simple, easy-to-use augmented reality applications. All the interaction techniques described are based o...
Tatu Harviainen, Otto Korkalo, Charles Woodward
AUTONOMICS
2009
ACM
16 years 27 days ago
Sensor Selection for IT Infrastructure Monitoring
Supervisory control is the main means to assure a high level performance and availability of large IT infrastructures. Applied control theory is used in physical and virtualization...
Gergely János Paljak, Imre Kocsis, Zolt&aac...
« Prev « First page 1383 / 1849 Last » Next »