1433 search results - page 117 / 287 » The Design of Large Real-Time Systems: The Time-Triggered Ap... |
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Current sign language recognition systems are still designed for signer-dependent operation only and thus suffer from the problem of interpersonal variability in production. Appli...
ESCIENCE
2006
IEEE
14 years 3 months ago
2006
IEEE
Bioinformatics algorithms such as sequence alignment methods based on profile-HMM (Hidden Markov Model) are popular but CPU-intensive. If large amounts of data are processed, a s...
CCGRID
2008
IEEE
14 years 3 months ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...
APSEC
2003
IEEE
14 years 2 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
FMCAD
1998
Springer
14 years 1 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...