561 search results - page 111 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
177
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The incorporation of statistical models that account for experimental variability provides a necessary framework for the interpretation of microarray data. A robust ex...
154
click to vote
SOUPS
2009
ACM
16 years 4 days ago
2009
ACM
The Windows Vista personal firewall provides its diverse users with a basic interface that hides many operational details. However, concealing the impact of network context on th...
195
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
154
Voted
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
157
click to vote
ISW
2007
Springer
15 years 11 months ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...