216 search results - page 28 / 44 » Testing Extensible Language Debuggers |
VL
2007
IEEE
14 years 3 months ago
2007
IEEE
The Treeview control is the traditional way of visualizing hierarchical information in user interfaces, but in situations such as managing bookmarks in browsers, more general clas...
CPAIOR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...
NLDB
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we propose methods and heuristics having high accuracies and low time complexities for filtering spam e-mails. The methods are based on the n-gram approach and a heu...
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...