1689 search results - page 265 / 338 » Refining abstract interpretations |
109
click to vote
IEEESP
2006
15 years 4 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
160
click to vote
CGA
2004
15 years 3 months ago
2004
graphical abstractions, Hyperscore provides a visual analogue for what is happening structurally in the music as opposed to displaying musical events in procedural notation or as a...
132
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
230
click to vote
MDAI
2010
Springer
15 years 1 months ago
2010
Springer
this abstraction, we present a new index, the c-index, in which the evaluated objects are the citations received (by a paper, an author, a research group, a journal, etc.), the qua...
152
click to vote
PRIB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. An important unsolved problem in structural bioinformatics is that of protein structure prediction (PSP), the reconstruction of a biologically plausible three-dimensional...