3199 search results - page 28 / 640 » Variability in Automation System Models |
VAMOS
2008
Springer
13 years 10 months ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
IJON
2000
13 years 8 months ago
2000
In this paper we propose an approach to variable selection that uses a neural-network model as the tool to determine which variables are to be discarded. The method performs a bac...
FORTE
2004
13 years 10 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Developing user interfaces for ubiquitous environments is a challenging task. In such an environment, users can apply different devices to accomplish the same or different tasks. ...
ECMDAFA
2010
Springer
14 years 1 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...