12697 search results - page 55 / 2540 » Call for Papers |
108
click to vote
DEXAW
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper I present a dynamic approach for constructing an unambiguous semantic representation for a text written in a controlled natural language called PENG. The semantic re...
IWC
2006
14 years 12 months ago
2006
This paper presents an interaction model pursuing flexible and coherent human
128
click to vote
CCS
2010
ACM
15 years 2 days ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
ESOP
2003
Springer
15 years 5 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...
104
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...