3680 search results - page 407 / 736 » cases 2010 |
205
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Tissue MicroArray technology aims to perform immunohistochemical staining on hundreds of different tissue samples simultaneously. It allows faster analysis, considerab...
155
click to vote
CE
2010
15 years 7 months ago
2010
The collection of student feedback is seen as a central strategy to monitor the quality and standards of teaching and learning in Higher Education Institutions. The increasing use...
211
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Contrary to the sequential world, the processes involved in a distributed system do not necessarily know when a computation is globally finished. This paper investigates the proble...
188
click to vote
ENTCS
2006
15 years 6 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...
203
click to vote
ENTCS
2006
15 years 6 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...