9110 search results - page 294 / 1822 » Formally-Based Design Evaluation |
194
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The following paper presents a case study of the way that the research done by the LAIRAH project may be applied in the case of a real digital resource for humanities scholarship....
193
click to vote
NSDI
2007
15 years 9 months ago
2007
Networked systems are often evaluated on overlay testbeds such as PlanetLab and emulation testbeds such as Emulab. Emulation testbeds give users great control over the host and ne...
183
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
This paper evaluates how much extended dictionary-based code compression techniques can reduce the static code size. In their simplest form, such methods statically identify ident...
203
click to vote
INTERACT
2007
15 years 8 months ago
2007
During the early stages of architectural training, tangibility plays an important role in developing spatial awareness. In such contexts, tangible user interfaces are believed to p...
175
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: High-throughput sequencing technologies, such as the Illumina Genome Analyzer, are powerful new tools for investigating a wide range of biological and medical question...