130 search results - page 12 / 26 » On Verifying Consistency of XML Specifications |
JSS
2011
12 years 10 months ago
2011
: A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors are compatible with its original col...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
QSIC
2009
IEEE
14 years 2 months ago
2009
IEEE
—A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors may still be compatible to its orig...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
HPCA
1999
IEEE
13 years 11 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...