1116 search results - page 196 / 224 » Applying Predicate Abstraction to Abstract State Machines |
DAWAK
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. From the point of view of a data warehouse system its part of collecting and receiving information from other systems is crucial for all subsequent business intelligence ...
EUC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propo...
ICFEM
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
ICSOC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Composite web services can be orchestrated in a decentralized manner by breaking down the original service specification into a set of partitions and executing them on a...
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...