We study data driven Web services provided by Web sites interacting with users or applications The Web site can access an underlying database as well as state information updated as the interaction pro gresses and receives user input The structure and contents of Web pages as well as the actions to be taken are determined dynamically by querying the underlying database as well as the state and ...

Stable minima showing halogen bonds between charged molecules with the same sign have been explored by means of theoretical calculations. The dissociation transition states and their corresponding barriers have also been characterized. In all cases, the results indicate that the complexes are thermodynamically unstable but kinetically stable with respect to the isolated monomers in gas phase. A...

Composition of high-speed protocols from basic protocol mechanisms can help to realize the exible application-speci c selection of protocols. For the purpose of formal speci cation, functional modelling, analysis, and veri cation of composed protocols we apply L. Lamport's Temporal Logic of Actions (TLA). We propose a modular and compositional style of speci cation, which supports the analysis ...