3089 search results - page 141 / 618 » services 2008 |
147
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
We present a proposal for a next-generation Internet based on chargeable Web Services and Utility Computing realised by a series of open but interacting markets. We demonstrate thr...
187
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
162
click to vote
ECOWS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web Service orchestration. We address a recent cryptogra...
162
Voted
INTERNET
2008
15 years 6 months ago
2008
through suitable abstractions and tools is a viable option for improving servicebased computations. T he past few years have witnessed end users' increasing involve ment in th...
144
click to vote
IADIS
2003
15 years 7 months ago
2003
The Dynamic Information Presentation (DIP) Toolkit provides a range of different personalization techniques that can be assembled in a flexible but straightforward way to create o...