1992 search results - page 156 / 399 » Model Based Testing with Labelled Transition Systems |
132
Voted
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
125
Voted
SI3D
2006
ACM
15 years 9 months ago
2006
ACM
We describe a new interactive system for 3D design review, built to exploit the visual perception cue of motion parallax, in order to enhance shape perception and aesthetic evalua...
131
Voted
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
146
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
130
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...