3400 search results - page 156 / 680 » tools 2008 |
214
click to vote
SOSE
2008
IEEE
16 years 25 days ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...
126
click to vote
USS
2008
15 years 8 months ago
2008
Administrative verifiability gives election officials the means to protect against certain kinds of errors and fraud. This is typically accomplished with tools like paper audit tr...
204
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
166
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Internet users face challenges in evaluating the validity of online information. Such evaluation is not adequately supported by current tools; we outline some of the shortcomings ...
187
click to vote
SNPD
2008
15 years 7 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...