2106 search results - page 202 / 422 » Operational Semantics for MSC'96 |
170
click to vote
MEMOCODE
2007
IEEE
16 years 9 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
142
click to vote
ECSQARU
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
177
click to vote
OTM
2007
Springer
16 years 4 days ago
2007
Springer
Lightweight ontologies in the form of RDF vocabularies such as SIOC, FOAF, vCard, etc. are increasingly being used and exported by “serious” applications recently. Such vocabul...
183
click to vote
RTA
2007
Springer
16 years 4 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
165
click to vote
ICECCS
2006
IEEE
16 years 2 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...