10159 search results - page 1833 / 2032 » System Design Validation Using Formal Models |
162
click to vote
CASCON
1997
15 years 8 months ago
1997
The paper presents a similarity-based retrieval framework for a software repository that aids the process of maintaining, understanding, and migrating legacy software systems [12]...
177
click to vote
PVLDB
2008
15 years 6 months ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
163
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Due to the rapid increase in video capture technology, more and more tourist videos are captured every day, creating a challenge for organization and association with metadata. In...
198
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...
156
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
The use of airbags into automobiles has significantly improved the safety of the occupants. Unfortunately, when airbags are deployed in the case of a crash, they can also cause fa...