2496 search results - page 281 / 500 » Error-detecting properties of languages |
176
click to vote
ANSS
2006
IEEE
16 years 25 days ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
153
Voted
ASPLOS
2006
ACM
16 years 22 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
155
click to vote
ERLANG
2006
ACM
16 years 22 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
184
click to vote
CCGRID
2005
IEEE
16 years 11 days ago
2005
IEEE
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...
191
click to vote
GPCE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...