39 search results - page 3 / 8 » Client Synthesis for Web Services by Way of a Timed Semantic... |
IEEESCC
2007
IEEE
14 years 1 months ago
2007
IEEE
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...
MM
2004
ACM
14 years 25 days ago
2004
ACM
Growing numbers of pervasive devices are gaining access to the Internet. However, much of the existing rich multimedia content cannot be handled by mobile client devices with limi...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Two important architectural choices underlie the success of the Web: numerous, independently operated servers speak a common protocol, and a single type of client--the Web browser...
SEMWEB
2004
Springer
14 years 22 days ago
2004
Springer
Public deployment of the semantic service matchmaker to a UDDI registry for half a year is shown in this paper. UDDI is a standard registry for Web Services, but if we consider it ...
IEEEHPCS
2010
13 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...