2748 search results - page 250 / 550 » Generating Object-Z Specifications from Use Cases |
158
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: The recent increase in the use of high-throughput two-hybrid analysis has generated large quantities of data on protein interactions. Specifically, the availability of...
122
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Prediction of protein solvent accessibility, also called accessible surface area (ASA) prediction, is an important step for tertiary structure prediction directly from...
131
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we present an early performance evaluation of a 624-core cluster based on the Intel® Xeon® Processor 5560 (code named “Nehalem-EP”, and referred to as Xeon 55...
131
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Multi-camera tracking systems often must maintain consistent identity labels of the targets across views to recover 3D trajectories and fully take advantage of the additional info...
129
Voted
RAID
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...