9842 search results - page 1696 / 1969 » Compositional timing analysis |
157
Voted
PVLDB
2008
15 years 3 months ago
2008
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
113
Voted
RE
2008
Springer
15 years 3 months ago
2008
Springer
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
158
Voted
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
—The use of vital signs as a biometric is a potentially viable approach in a variety of application scenarios such as security and personalized health care. In this paper, a nove...
143
Voted
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Many Web sites support keyword search on their spatial data, such as business listings and photos. In these systems, inconsistencies and errors can exist in both queries and the d...
97
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— This paper presents an oceanographic toolchain that can be used to generate multi-vehicle robotic surveys for large-scale dynamic features in the coastal ocean. Our science app...