4795 search results - page 619 / 959 » The Message Classification Model |
196
click to vote
IEEESCC
2005
IEEE
16 years 10 days ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
178
click to vote
APN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
184
click to vote
KBSE
2003
IEEE
16 years 11 hour 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...
150
click to vote
CIKM
2003
Springer
15 years 12 months ago
2003
Springer
Hybrid peer-to-peer architectures use special nodes to provide directory services for regions of the network (“regional directory services”). Hybrid peer-to-peer architectures...
170
click to vote
DCC
2010
IEEE
15 years 12 months ago
2010
IEEE
This paper interprets image interpolation as a channel decoding problem and proposes a tanner graph based interpolation framework, which regards each pixel in an image as a variab...