15372 search results - page 377 / 3075 » The Semantics of Semantic Annotation |
175
click to vote
DEXAW
2003
IEEE
16 years 3 days ago
2003
IEEE
Hypermedia design methods have been proposed for the development of hypermedia and web applications. Nowadays, we face up to another challenge, the Semantic Web, in order to repre...
180
click to vote
SCAM
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. W...
175
click to vote
SCAM
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
189
click to vote
ASM
2003
ASM
16 years 1 days ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
165
click to vote
FORMATS
2003
Springer
16 years 23 hour ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...