Sciweavers

2245 search results - page 127 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
IJCAI
2007
15 years 6 months ago
Detection of Cognitive States from fMRI Data Using Machine Learning Techniques
Over the past decade functional Magnetic Resonance Imaging (fMRI) has emerged as a powerful technique to locate activity of human brain while engaged in a particular task or cogni...
Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Ba...
QEST
2008
IEEE
15 years 11 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
OOPSLA
2005
Springer
15 years 10 months ago
Using predicate fields in a highly flexible industrial control system
Predicate fields allow an object’s structure to vary at runtime based on the object’s state: a predicate field is present or not, depending on the values of other fields. P...
Shay Artzi, Michael D. Ernst
KBSE
2007
IEEE
15 years 11 months ago
CodeGenie: using test-cases to search and reuse source code
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on large-scale code repositories. While using CodeGenie developers design...
Otávio Augusto Lazzarini Lemos, Sushil Kris...
RTSS
2008
IEEE
15 years 11 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian