Sciweavers

731 search results - page 92 / 147
» Specification Matching of Software Components
Sort
View
ASPDAC
2008
ACM
164views Hardware» more  ASPDAC 2008»
14 years 11 months ago
The Shining embedded system design methodology based on self dynamic reconfigurable architectures
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
Carlo Curino, Luca Fossati, Vincenzo Rana, Frances...
CRIWG
2007
14 years 11 months ago
Fostering Groupware Tailorability Through Separation of Concerns
Groupware must deal with a myriad of concerns. Some of them are typical of “conventional” software while others are idiosyncratic of CSCW applications (e.g., awareness). We cla...
Diego Torres, Alejandro Fernández, Gustavo ...
CSREAPSC
2006
14 years 11 months ago
Real-Time Speaker Verification with a Microphone Array
- Real-time speaker verification, with speech acquired using the NIST Mk-III microphone array and an autodirective beamforming algorithm, is demonstrated. The software and hardware...
Gang Mei, Roger Xu, Debang Lao, Chiman Kwan, Vince...
IFIP
2010
Springer
14 years 4 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
DOCENG
2010
ACM
14 years 11 months ago
Linking data and presentations: from mapping to active transformations
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
Olivier Beaudoux, Arnaud Blouin