117 search results - page 13 / 24 » Efficient Systematic Testing for Dynamically Updatable Softw... |
145
Voted
GLVLSI
2009
IEEE
14 years 10 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
110
click to vote
ICSM
2005
IEEE
15 years 6 months ago
2005
IEEE
In this ever changing business environment, business processes are constantly being customized to reflect the up-to-date organizational structure and business objectives. Technolo...
195
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Network data models are frequently used as a mechanism to describe the connectivity between spatial features in many emerging GIS applications (location-based services, transporta...
118
click to vote
BMCBI
2008
15 years 14 days ago
2008
Background: Searching for similarities in protein and DNA databases has become a routine procedure in Molecular Biology. The Smith-Waterman algorithm has been available for more t...
136
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....