Sciweavers

29147 search results - page 161 / 5830
» System Modeling Resurrected
Sort
View
GI
2009
Springer
15 years 2 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
ECCC
2000
86views more  ECCC 2000»
15 years 4 months ago
Neural Systems as Nonlinear Filters
Experimental data show that biological synapses behave quite differently from the symbolic synapses in all common artificialneuralnetwork models. Biological synapses are dynamic, ...
Wolfgang Maass, Eduardo D. Sontag
CORR
2009
Springer
80views Education» more  CORR 2009»
15 years 2 months ago
A Type System for a Stochastic CLS
claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through a...
Mariangiola Dezani-Ciancaglini, Paola Giannini, An...
WSC
2004
15 years 6 months ago
HDPS, an XML/XSLT Based Hierarchal Modeling System
HDPS is a practical system for designing modeling paradigms, creating hierarchal model definitions, and evaluating multi-paradigm models - particularly in business and finance. HD...
Richard Evan Curry, Kiriakos Vlahos
HICSS
2009
IEEE
165views Biometrics» more  HICSS 2009»
15 years 11 months ago
Studying Knowledge Management System Success in System Administration
Significant temporal and monetary costs are associated with the development and implementation of a knowledge management system (KMS). To justify this investment, it is important ...
Nicole F. Velasquez, Alexandra Durcikova, Rajiv Sa...