3330 search results - page 383 / 666 » software 2010 |
150
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
150
Voted
EDBTW
2010
Springer
15 years 2 months ago
2010
Springer
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...
155
click to vote
IWPSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
151
click to vote
AVI
2010
15 years 6 months ago
2010
Gaze visualizations hold the potential to facilitate usability studies of interactive systems. However, visual gaze analysis in threedimensional virtual environments still lacks m...
169
click to vote
SEKE
2010
Springer
15 years 3 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...