1631 search results - page 311 / 327 » Classifying Software Components Using Design Characteristics |
116
click to vote
PSYCHNOLOGY
2007
15 years 1 months ago
2007
The ROBOCARE Domestic Environment (RDE) is the result of a three-year project aimed at developing cognitive support technology for elderly people. Specifically, the domestic envir...
117
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
127
click to vote
SCFBM
2008
15 years 1 months ago
2008
Background: The construction of complex spatial simulation models such as those used in network epidemiology, is a daunting task due to the large amount of data involved in their ...
113
click to vote
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
In embedded cryptosystems, sensitive information can leak via timing, power, and electromagnetic channels. We introduce a novel power-smart system-on-chip architecture that provid...
125
Voted
AVI
2004
15 years 3 months ago
2004
This paper describes the 3Book, a 3D interactive visualization of a codex book as a component for various digital library and sensemaking systems. The book is designed to hold lar...