1672 search results - page 317 / 335 » On the Development of Software Product-Family Components |
ENTCS
2006
14 years 11 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
101
click to vote
CE
2007
14 years 11 months ago
2007
Lifelike, interactive digital characters, serving as mentors and role-playing actors, have been shown to significantly improve learner motivation and retention. However, the cost...
114
click to vote
JFR
2007
14 years 11 months ago
2007
To achieve the ever increasing demand for science return, planetary exploration rovers require more autonomy to successfully perform their missions. Indeed, the communication dela...
93
Voted
COMPUTER
2002
14 years 11 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
93
Voted
PSYCHNOLOGY
2007
14 years 11 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...