553 search results - page 23 / 111 » Verified, Executable Parsing |
GCC
2006
Springer
14 years 14 days ago
2006
Springer
Interoperability between different Grid implementations is attracting more and more attention to seamlessly job execution. In this paper, one approach is proposed to implement the...
BPM
2008
Springer
13 years 10 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
SEC
2004
13 years 10 months ago
2004
Abstract--Stack smashing is still one of the most popular techniques for computer system attack. In this work, we present an antistack-smashing defense technique for Microsoft Wind...
SOUPS
2006
ACM
14 years 2 months ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...