Sciweavers

1100 search results - page 159 / 220
» An Approach to Test Aspect-oriented Programs
Sort
View
SASO
2009
IEEE
15 years 9 months ago
Teleological Software Adaptation
—We examine the use of teleological metareasoning for self-adaptation in game-playing software agents. The goal of our work is to develop an interactive environment in which the ...
Joshua Jones, Chris Parnin, Avik Sinharoy, Spencer...
IJCNN
2008
IEEE
15 years 9 months ago
Sparse kernel density estimator using orthogonal regression based on D-Optimality experimental design
— A novel sparse kernel density estimator is derived based on a regression approach, which selects a very small subset of significant kernels by means of the D-optimality experi...
Sheng Chen, Xia Hong, Chris J. Harris
SEFM
2008
IEEE
15 years 9 months ago
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truon...
SCAM
2007
IEEE
15 years 9 months ago
Barrier Slicing for Remote Software Trusting
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, C...
ERCIMDL
2007
Springer
110views Education» more  ERCIMDL 2007»
15 years 9 months ago
Annotation-Based Document Retrieval with Probabilistic Logics
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
Ingo Frommholz