2748 search results - page 394 / 550 » Generating Object-Z Specifications from Use Cases |
119
click to vote
BIOCOMP
2008
15 years 5 months ago
2008
-- To successfully apply RNAi, the very first step is to design functional siRNA or shRNA sequences targeting specific genes. Many characteristics of functional synthetic siRNAs ha...
186
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
129
click to vote
LCPC
2000
Springer
15 years 7 months ago
2000
Springer
In translating HPF programs, a compiler has to generate local iteration and communication sets. Apart from local enumeration, local storage compression is an issue, because in HPF ...
143
click to vote
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
As XML has emerged as a data representation format and as great quantities of data have been stored in the XML format, XML document design has become an important and evident issu...
151
click to vote
VRCAI
2004
ACM
15 years 9 months ago
2004
ACM
The Marching Cubes (MC) algorithm is a popular approach to extract iso-surfaces from volumetric data. This approach extracts triangles from the volume data for a specific iso-valu...