245 search results - page 42 / 49 » diagrams 2010 |
SOSYM
2010
13 years 5 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
SYNTHESE
2010
13 years 5 months ago
2010
Recent work in the philosophy of science has generated an apparent conflict between theories attempting to explicate the nature of scientific representation. On one side, there are...
TOH
2010
13 years 5 months ago
2010
—There are many different uses for haptics, such as training medical practitioners, teleoperation or navigation of virtual environments. This review focuses on haptic methods tha...
ECSA
2010
Springer
13 years 5 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...