446 search results - page 66 / 90 » A proof markup language for Semantic Web services |
179
click to vote
SP
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
144
click to vote
ICC
2007
IEEE
16 years 5 days ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
142
click to vote
RML
2002
15 years 5 months ago
2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
286
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
Grid is a promising e-Science infrastructure that promotes and facilitates the sharing and collaboration in the use of distributed heterogeneous resources through Virtual Organiza...
167
click to vote
AAAI
2008
15 years 8 months ago
2008
POIROT is an integration framework for combining machine learning mechanisms to learn hierarchical models of web services procedures from a single or very small set of demonstrati...