2658 search results - page 300 / 532 » Micro-communication Element System |
152
click to vote
ENTCS
2007
15 years 5 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
141
click to vote
JUCS
2006
15 years 5 months ago
2006
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...
130
click to vote
JUCS
2006
15 years 5 months ago
2006
: Design patterns have been developed to cope with the vast space of possible different designs within object-oriented systems. One of those classic patterns is the Visitor Pattern...
147
click to vote
KAIS
2006
15 years 5 months ago
2006
In order to index Web images, the whole associated texts are partitioned into a sequence of text blocks, then the local relevance of a term to the corresponding image is calculated...
139
click to vote
NAR
2008
15 years 5 months ago
2008
The Rice Annotation Project Database (RAP-DB) was created to provide the genome sequence assembly of the International Rice Genome Sequencing Project (IRGSP), manually curated ann...