5775 search results - page 133 / 1155 » A Rationale-based Analysis Tool |
181
click to vote
JSS
2010
15 years 1 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
175
click to vote
TASLP
2010
15 years 1 months ago
2010
Spherical harmonic decomposition of wavefields is not only an active problem in acoustic signal processing but also a useful tool in a plethora of applications such as 3D beamform...
135
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Imaging techniques for measuring lung ventilation are essential tools to study lung tissue response to radiation therapy. Most of the existing CT and image registration based vent...
272
click to vote
ADBIS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In recent years, the World Wide Web (WWW) has transformed to a gigantic social network where people interact and collaborate in diverse online communities. By using Web 2...
159
click to vote
TPHOL
2007
IEEE
16 years 20 days ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...