5896 search results - page 238 / 1180 » Service innovation and design |
180
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
204
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Designing web sites is a complex task. Ad-hoc rapid prototyping easily leads to unsatisfactory results, e.g. poor maintainability and extensibility. However, existing web design f...
143
click to vote
ACSAC
2003
IEEE
16 years 9 hour ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
163
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
153
click to vote
INTERACT
2007
15 years 8 months ago
2007
This paper describes an e-gov service that provides a mean to require urban or rural retirement benefits. It also discusses its usability and accessibility in order to assist disa...