781 search results - page 109 / 157 » Automatic Formal Model Generation and Analysis of SDL |
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
ISSS
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speci...
PASTE
2010
ACM
14 years 22 days ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...
HCI
2001
13 years 9 months ago
2001
: For the past two years we have been addressing the challenges involved in managing the data generated within immersive environments. We together with many other researchers have ...