Sciweavers

4353 search results - page 700 / 871
» Expressiveness of Process Algebras
Sort
View
CSFW
2008
IEEE
15 years 12 months ago
Language Based Secure Communication
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
Michele Bugliesi, Riccardo Focardi
DSN
2008
IEEE
15 years 12 months ago
A recurrence-relation-based reward model for performability evaluation of embedded systems
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
Ann T. Tai, Kam S. Tso, William H. Sanders
FGR
2008
IEEE
288views Biometrics» more  FGR 2008»
15 years 12 months ago
Face recognition with temporal invariance: A 3D aging model
The variation caused by aging has not received adequate attention compared with pose, lighting, and expression variations. Aging is a complex process that affects both the 3D shap...
Unsang Park, Yiying Tong, Anil K. Jain
FGR
2008
IEEE
152views Biometrics» more  FGR 2008»
15 years 12 months ago
Facial feature detection with optimal pixel reduction SVM
Automatic facial feature localization has been a longstanding challenge in the field of computer vision for several decades. This can be explained by the large variation a face i...
Minh Hoai Nguyen, Joan Perez, Fernando De la Torre
HPDC
2008
IEEE
15 years 12 months ago
DataLab: transactional data-parallel computing on an active storage cloud
Active storage clouds are an attractive platform for executing large data intensive workloads found in many fields of science. However, active storage presents new system managem...
Brandon Rich, Douglas Thain