1016 search results - page 150 / 204 » Automatic Analysis of Programming Assignments |
117
click to vote
DOCENG
2004
ACM
15 years 8 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
124
Voted
FOAL
2007
ACM
15 years 6 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
96
Voted
VIROLOGY
2008
15 years 2 months ago
2008
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...
120
Voted
TSE
2010
15 years 27 days ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
119
click to vote
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...