Sciweavers

1391 search results - page 32 / 279
» Ensuring data integrity in storage: techniques and applicati...
Sort
View
VLDB
2008
ACM
170views Database» more  VLDB 2008»
16 years 19 hour ago
A layered framework supporting personal information integration and application design for the semantic desktop
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
Isabel F. Cruz, Huiyong Xiao
AQUILEIA
2011
93views more  AQUILEIA 2011»
13 years 11 months ago
Integrated Topographic, GNSS, Remote Sensing and GIS/WebGIS Techniques Applied to the Study of Aquileia River Port Structures
Integrated use of multidisciplinary researches have been applied in the last years for the study of Aquileia archeological sites and, in particular the River Port structures. Since...
Raffaela Cefalo, Alexia Cociancich, Michele Di Bar...
AIME
2005
Springer
15 years 5 months ago
Towards Information Visualization and Clustering Techniques for MRI Data Sets
Abstract. The paper deals with the integrated use of Information Visualization techniques and clustering algorithms to analyze Magnetic Resonance Imaging (MRI) data sets. The paper...
Umberto Castellani, Carlo Combi, Pasquina Marzola,...
ICSE
2003
IEEE-ACM
15 years 12 months ago
Improving Web Application Testing with User Session Data
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
Sebastian G. Elbaum, Srikanth Karre, Gregg Rotherm...
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
15 years 4 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog