2935 search results - page 129 / 587 » An Integrated Approach to High Integrity Software Verificati... |
162
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
141
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Increasing amounts of data from large scale whole genome analysis efforts demands convenient tools for manipulation, visualization and investigation. Whole genome plot...
145
click to vote
WIRI
2005
IEEE
15 years 10 months ago
2005
IEEE
Record linkage refers to techniques for identifying records associated with the same real-world entities. Record linkage is not only crucial in integrating multi-source databases ...
170
click to vote
ICALT
2010
IEEE
15 years 5 months ago
2010
IEEE
In e-Learning the interest on the use of new kinds of highly-interactive content is increasing. In this regard video games are one of the media that is gaining momentum because of ...
137
click to vote
JIB
2007
15 years 4 months ago
2007
Control of cell proliferation, differentiation, activation and cell removal is crucial for the development and existence of multi-cellular organisms. Apoptosis, or programmed cell...