4421 search results - page 729 / 885 » Libraries |
110
click to vote
JIB
2007
15 years 1 months ago
2007
The continuing and rapid increase in the number of fully sequenced genomes is creating new opportunities for comparative studies. However, although many genomic databases store da...
126
click to vote
TOSEM
2008
15 years 1 months ago
2008
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...
TSE
2008
15 years 1 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
108
click to vote
TVCG
2008
15 years 1 months ago
2008
Digital interactive information displays are becoming more common in public spaces such as museums, galleries, and libraries. However, the public nature of these locations requires...
JSW
2007
15 years 1 months ago
2007
Abstract— This paper deals with dynamic scheduling in realtime systems that have Quality of Service requirements. We assume that tasks are periodic and may miss their deadlines, ...