2539 search results - page 343 / 508 » Semantic frameworks for e-government |
177
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
190
click to vote
RTA
2007
Springer
16 years 19 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...
167
click to vote
SAFECOMP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
171
click to vote
ICECCS
2006
IEEE
16 years 16 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...
179
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...