436 search results - page 34 / 88 » Temporal Preprocessor: Towards Temporal Applications Develop... |
143
click to vote
SPIN
2012
Springer
13 years 5 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
107
Voted
CCGRID
2010
IEEE
15 years 3 months ago
2010
IEEE
We develop a novel framework for supporting e-Science applications that require streaming of information between sites. Using a Synchronous Dataflow (SDF) model, our framework inco...
113
Voted
FSKD
2005
Springer
15 years 8 months ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
132
click to vote
EDCC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
126
Voted
ICCS
1993
Springer
15 years 6 months ago
1993
Springer
Adaptive predictive search (APS), is a learning system framework, which given little initial domain knowledge, increases its decision-making abilities in complex problems domains....