Sciweavers

15372 search results - page 336 / 3075
» The Semantics of Semantic Annotation
Sort
View
ESWS
2006
Springer
15 years 10 months ago
Using Semantics to Enhance the Blogging Experience
Blogging, as a subset of the web as a whole, can benefit greatly from the addition of semantic metadata. The result -- which we will call Semantic Blogging -- provides improved cap...
Knud Möller, Uldis Bojars, John G. Breslin
FMCAD
2000
Springer
15 years 10 months ago
The Semantics of Verilog Using Transition System Combinators
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
Gordon J. Pace
POPL
1997
ACM
15 years 10 months ago
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...
Hanne Riis Nielson, Flemming Nielson
PEPM
1991
ACM
15 years 10 months ago
The Semantics of Scheme Control-Flow Analysis
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
Olin Shivers
GI
2009
Springer
15 years 10 months ago
Bringing innovative Semantic Technology to Practice: The iQser Approach and its Use Cases
: This paper presents the iQser approach, a new semantic technology promising to overcome some of the shortcomings of current semantic enterprise solutions. The iQser technology is...
Jörg Wurzer, Bela Mutschler