481 search results - page 63 / 97 » Toward an Abstract Computer Virology |
117
Voted
BIBE
2005
IEEE
15 years 8 months ago
2005
IEEE
Prediction of protein tertiary structure based on amino acid sequence is one of the most challenging open questions in computational molecular biology. The two most common experim...
135
Voted
HPDC
2005
IEEE
2005
IEEE
Increasing application performance in virtual environments through run-time inference and adaptation
15 years 8 months ago
Virtual machine distributed computing greatly simplifies the use of widespread computing resources by lowering the abstraction, benefiting both resource providers and users. Tow...
156
Voted
NEUROSCIENCE
2001
Springer
15 years 7 months ago
2001
Springer
Biological networks are capable of gradual learning based on observing a large number of exemplars over time as well as of rapidly memorizing specific events as a result of a sin...
119
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...
131
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...