3400 search results - page 315 / 680 » tools 2008 |
175
click to vote
TVCG
2010
15 years 5 months ago
2010
—We develop an interactive analysis and visualization tool for probabilistic segmentation in medical imaging. The originality of our approach is that the data exploration is guid...
176
click to vote
VIROLOGY
2010
15 years 5 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
187
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
182
click to vote
FMSB
2008
15 years 8 months ago
2008
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
170
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...