Sciweavers

2463 search results - page 166 / 493
» Consistency for Web Services Applications
Sort
View
ICWS
2004
IEEE
15 years 8 months ago
A Meta-Modeling Approach to Web Services
Web Services (WS) technology is becoming pervasive in the development of distributed systems and is an appealing vehicle for service presentation and horizontal integration. On th...
Fei Cao, Barrett R. Bryant, Wei Zhao, Carol C. Bur...
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 8 days ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
ICDIM
2007
IEEE
16 years 1 months ago
Optimized contextual discovery of Web Services for Devices
Due to more and more mobile computers moving among smart and communicating devices in our everyday life, we observe the emergence of new constraints in software design. Indeed, de...
Nicolas Bussiere, Daniel Cheung-Foo-Wo, Vincent Ho...
ICCS
2003
Springer
16 years 23 hour ago
Computational Science Simulations Based on Web Services
Abstract. We describe the software architecture of a system for doing multiphysics simulation of a coupled fluid, thermal, and mechanical fracture problem. The system is organized...
L. Paul Chew, Nikos Chrisochoides, S. Gopalsamy, G...
IC
2004
15 years 8 months ago
Constructing Finite State Automata for High-Performance XML Web Services
This paper describes a validating XML parsing method based on deterministic finite state automata (DFA). XML parsing and validation is performed by a schema-specific XML parser th...
Robert van Engelen