Sciweavers

1851 search results - page 136 / 371
» Open Source AI
Sort
View
118
Voted
QEST
2006
IEEE
15 years 10 months ago
UPPAAL 4.0
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
143
Voted
RTAS
2006
IEEE
15 years 10 months ago
A Real-time Java Virtual Machine for Avionics - An Experience Report
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
Jason Baker, Antonio Cunei, Chapman Flack, Filip P...
SSDBM
2010
IEEE
139views Database» more  SSDBM 2010»
15 years 9 months ago
Taverna, Reloaded
The Taverna workflow management system is an open source project with a history of widespread adoption within multiple experimental science communities, and a long-term ambition o...
Paolo Missier, Stian Soiland-Reyes, Stuart Owen, W...
ICSM
2002
IEEE
15 years 9 months ago
STA - A Conceptual Model for System Evolution
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
Markus Pizka
LION
2010
Springer
239views Optimization» more  LION 2010»
15 years 8 months ago
The EvA2 Optimization Framework
Abstract. We present EvA2, a comprehensive metaheuristic optimization framework with emphasis on Evolutionary Algorithms. It presents a modular structure of interfaces and abstract...
Marcel Kronfeld, Hannes Planatscher, Andreas Zell