18 search results - page 4 / 4 » Using LTL rewriting to improve the performance of model-chec... |
WWW
2006
ACM
14 years 6 months ago
2006
ACM
We introduce the notion of query substitution, that is, generating a new query to replace a user's original search query. Our technique uses modifications based on typical su...
INFSOF
2011
13 years 7 days ago
2011
Context: Service Oriented Architectures (SOA) have emerged as a new paradigm to develop interoperable and highly dynamic applications. Objective: This paper aims to identify the s...
GIS
2006
ACM
14 years 6 months ago
2006
ACM
Remotely sensed data, in particular satellite imagery, play many important roles in environmental applications and models. In particular applications that study (rapid) changes in...