Joining up services in e-Government usually implies governmental agencies acting in concert without a central control regime. This requires to the sharing scattered and heterogeneo...
Alessio Gugliotta, John Domingue, Liliana Cabral, ...
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
Location Based Services (LBS) promise interesting business opportunities. Today, most LBS are either implemented in hardware devices, or downloaded and installed by mobile phone u...
Stephan Karpischek, Fabio Magagna, Florian Michahe...
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennet...
This paper addresses a business scenario based on socalled tradable micro-services which is intended to explain the dynamics of a market to which actors contribute both as consume...