1823 search results - page 314 / 365 » Formal specification: a roadmap |
CSSE
2004
IEEE
13 years 7 months ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
DEBU
2002
13 years 7 months ago
2002
Comprehensive semantic descriptions of Web services are essential to exploit them in their full potential, that is, discovering them dynamically, and enabling automated service ne...
CMOT
1998
13 years 7 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
CAD
1999
Springer
13 years 7 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
JAIR
2002
13 years 7 months ago
2002
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...