22114 search results - page 337 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
155
click to vote
ATVA
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
197
click to vote
BPM
2004
Springer
16 years 23 days ago
2004
Springer
On the one hand Web services are gaining increasing attention. A lot of standardization has improved their stability and range of application. Composition and coordination techniqu...
218
click to vote
WWW
2007
ACM
16 years 8 months ago
2007
ACM
A key challenge for dynamic Web service selection is that Web services are typically highly configurable and service requesters often have dynamic preferences on service configura...
188
click to vote
IJWIS
2006
15 years 7 months ago
2006
The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...
173
click to vote
FBT
1998
15 years 8 months ago
1998
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...