1060 search results - page 4 / 212 » Mechanized semantics |
ISPA
2005
Springer
13 years 11 months ago
2005
Springer
An important precondition for the success of the Semantic Web is founded on the principle that the content of web pages will be semantically annotated. In this paper, we propose a ...
PRDC
2007
IEEE
14 years 18 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
ECOOP
2003
Springer
13 years 11 months ago
2003
Springer
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...
DBSEC
2000
13 years 7 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
IWPC
2008
IEEE
14 years 22 days ago
2008
IEEE
Reusing syntax specifications without embedded arbitrary semantic actions is straightforward because the semantic analysis phases of new applications can feed off trees or other ...