2661 search results - page 106 / 533 » A Semantics for Abstraction |
159
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
167
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
262
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
143
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
171
click to vote
SIGLEX
1991
15 years 10 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...