Sciweavers

5591 search results - page 828 / 1119
» Design patterns: between programming and software design
Sort
View
LION
2010
Springer
209views Optimization» more  LION 2010»
15 years 11 months ago
Feature Extraction from Optimization Data via DataModeler's Ensemble Symbolic Regression
We demonstrate a means of knowledge discovery through feature extraction that exploits the search history of an optimization run. We regress a symbolic model ensemble from optimiza...
Kalyan Veeramachaneni, Katya Vladislavleva, Una-Ma...
MODELS
2009
Springer
15 years 11 months ago
Teaching Modeling: Why, When, What?
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
Jean Bézivin, Robert France, Martin Gogolla...
ASSETS
2007
ACM
15 years 10 months ago
WebAnywhere: a screen reader on-the-go
People often use computers other than their own to browse the web, but blind web users are limited in where they access the web because they require specialized, expensive program...
Jeffrey P. Bigham, Craig Prince
CASSIS
2004
Springer
15 years 10 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
CSREAESA
2006
15 years 8 months ago
Reliable Management Services for COTS-based Space Systems and Applications
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
Ian A. Troxel, Eric Grobelny, Grzegorz Cieslewski,...