Sciweavers

4870 search results - page 722 / 974
» Challenges of component-based development
Sort
View
ESORICS
2010
Springer
15 years 7 months ago
Secure Code Update for Embedded Devices via Proofs of Secure Erasure
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
Daniele Perito, Gene Tsudik
FMICS
2010
Springer
15 years 7 months ago
Model Checking the FlexRay Physical Layer Protocol
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...
HPDC
2010
IEEE
15 years 7 months ago
Towards long term data quality in a large scale biometrics experiment
Quality of data plays a very important role in any scientific research. In this paper we present some of the challenges that we face in managing and maintaining data quality for a...
Hoang Bui, Diane Wright, Clarence Helm, Rachel Wit...
ICALT
2010
IEEE
15 years 7 months ago
Increasing Students In-Class Engagement through Public Commenting: An Exploratory Study
Student engagement is a pervasive and persistent goal for educators. In previous work we have reported that activities like public real-time commenting on videos can enhance studen...
Honglu Du, Hao Jiang, Mary Beth Rosson, John M. Ca...
FSKD
2008
Springer
136views Fuzzy Logic» more  FSKD 2008»
15 years 7 months ago
k-Anonymity via Clustering Domain Knowledge for Privacy Preservation
Preservation of privacy in micro-data release is a challenging task in data mining. The k-anonymity method has attracted much attention of researchers. Quasiidentifier is a key co...
Taiyong Li, Changjie Tang, Jiang Wu, Qian Luo, She...