Sciweavers

3933 search results - page 368 / 787
» Argumentation in the Semantic Web
Sort
View
ESOP
2003
Springer
16 years 3 days ago
A Tail-Recursive Semantics for Stack Inspections
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
John Clements, Matthias Felleisen
DOCENG
2011
ACM
14 years 6 months ago
Interoperable metadata semantics with meta-metadata: a use case integrating search engines
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
Yin Qu, Andruid Kerne, Andrew M. Webb, Aaron Herst...
WWW
2004
ACM
16 years 7 months ago
A semantic matchmaker service on the grid
A fundamental task on the Grid is to decide what jobs to run on what computing resources based on job or application requirements. Our previous work on ontology-based matchmaking ...
Andreas Harth, Stefan Decker, Yu He, Hongsuda Tang...
ICCBR
2007
Springer
16 years 1 months ago
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter
This paper addresses the role of case-based reasoning in semantic search, and in particular, as it applies to Knowledge Sifter, an agent-based ontology-driven search system based o...
Larry Kerschberg, Hanjo Jeong, Yong Uk Song, Wooju...
APLAS
2008
ACM
15 years 9 months ago
An Operational Semantics for JavaScript
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
Sergio Maffeis, John C. Mitchell, Ankur Taly