4135 search results - page 230 / 827 » Application Modeling for the Semantic Web |
160
click to vote
WSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Various approaches can be used to migrate legacy applications to the Web. In particular, migrating dataintensive legacy applications (e.g. traditional application for business man...
212
click to vote
WWW
2011
ACM
15 years 1 months ago
2011
ACM
In this paper, we study the problem of transfer learning from text to images in the context of network data in which link based bridges are available to transfer the knowledge bet...
193
click to vote
OTM
2005
Springer
16 years 19 hour ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
166
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
175
click to vote
IJAIT
2006
15 years 6 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...