7766 search results - page 1305 / 1554 » Testing Nondeterminate Systems |
109
click to vote
JTRES
2009
ACM
15 years 5 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
131
click to vote
SAC
2009
ACM
15 years 5 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
89
Voted
ECTEL
2009
Springer
15 years 5 months ago
2009
Springer
Work-integrated learning (WIL) poses unique challenges for user model design: on the one hand users’ knowledge levels need to be determined based on their work activities – tes...
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
116
click to vote
HAIS
2009
Springer
15 years 5 months ago
2009
Springer
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...