Sciweavers

1779 search results - page 199 / 356
» A Formal Model of Data Privacy
Sort
View
HICSS
2003
IEEE
144views Biometrics» more  HICSS 2003»
15 years 10 months ago
A Self-Disclosure Model for Personal Health Information
The use of information technologies (IT) to collect personal health information is growing in popularity via computer-assisted interviewing and a wide variety of healthcare Web si...
Lotus E. Kam, William G. Chismar
CORR
2011
Springer
183views Education» more  CORR 2011»
14 years 11 months ago
Pattern tree-based XOLAP rollup operator for XML complex hierarchies
—With the rise of XML as a standard for representing business data, XML data warehousing appears as a suitable solution for decision-support applications. In this context, it is ...
Marouane Hachicha, Jérôme Darmont
MEMOCODE
2008
IEEE
15 years 11 months ago
Static Deadlock Detection for the SHIM Concurrent Language
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
Nalini Vasudevan, Stephen A. Edwards
VMCAI
2010
Springer
16 years 1 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
INTEROP
1999
Springer
129views GIS» more  INTEROP 1999»
15 years 9 months ago
Interoperability in Practice: Problems in Semantic Conversion from Current Technology to OpenGIS
This work investigates the practical issue of mapping existing GIS to the OpenGIS standards. We describe the data models used in three systems (MGE, ARC/INFO and SPRING) and analys...
Gilberto Câmara, Rogério Thomé...