Sciweavers

456 search results - page 27 / 92
» Semantic Foundations of Jade
Sort
View
RELMICS
2005
Springer
14 years 2 months ago
Control-Flow Semantics for Assembly-Level Data-Flow Graphs
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
Wolfram Kahl, Christopher Kumar Anand, Jacques Car...
ESWS
2008
Springer
13 years 10 months ago
Managing URI Synonymity to Enable Consistent Reference on the Semantic Web
The Web of Data is growing at an ever increasing rate, with RDF datasets being produced in the order of billions of triples. The effect of this increase has meant that many entitie...
Afraz Jaffri, Hugh Glaser, Ian Millard
AAMAS
2007
Springer
13 years 8 months ago
Conversational semantics sustained by commitments
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
COOPIS
2002
IEEE
14 years 1 months ago
Natural Language Annotations for the Semantic Web
Because the ultimate purpose of the Semantic Web is to help users locate, organize, and process information, we strongly believe that it should be grounded in the information acces...
Boris Katz, Jimmy J. Lin, Dennis Quan
CAISE
2001
Springer
14 years 1 months ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...