33 search results - page 2 / 7 » Generation of Conformance Test Suites for Compositions of We... |
TSE
2010
13 years 3 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
WORDS
2005
IEEE
13 years 11 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
ICWS
2010
IEEE
13 years 3 months ago
2010
IEEE
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...