5775 search results - page 238 / 1155 » A Rationale-based Analysis Tool |
187
click to vote
INFOVIS
2005
IEEE
16 years 6 days ago
2005
IEEE
The NameVoyager, a web-based visualization of historical trends in baby naming, has proven remarkably popular. This paper discusses the display techniques used for smooth visual e...
170
click to vote
FM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
174
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
171
click to vote
ISTA
2007
15 years 8 months ago
2007
: We present CaDiS - a new multimedia medical workstation, which helps early and precise diagnosis and treatment of cervical cancer. The workstation is developed with the close par...
191
click to vote
SNPD
2008
15 years 8 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...