4722 search results - page 575 / 945 » Encoding Program Executions |
162
click to vote
JMLR
2012
13 years 7 months ago
2012
Many real-world problems are inherently hierarchically structured. The use of this structure in an agent’s policy may well be the key to improved scalability and higher performa...
104
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Database systems play an important role in nearly every modern organization, yet relatively little research effort has focused on how to test them. AGENDA, A (test) GENerator for ...
123
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
136
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents an approach based on Information Retrieval (IR) techniques for extracting and representing the unstructured information in large software systems such that it ...
113
click to vote
ICALT
2008
IEEE
15 years 11 months ago
2008
IEEE
Online virtual laboratory is important for online science education. CyberLab is a toolkit for online virtual experiments. It is able to handle the creation, exportation, and exec...