2419 search results - page 481 / 484 » A Formal Approach to Software Testing |
SIGMETRICS
2010
ACM
14 years 23 days ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
INFOCOM
2000
IEEE
14 years 10 days ago
2000
IEEE
Abstract— Knowledge of the up-to-date physical topology of an IP network is crucial to a number of critical network management tasks, including reactive and proactive resource ma...
CCS
2007
ACM
13 years 12 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
ACMSE
2006
ACM
13 years 10 months ago
2006
ACM
Society has grown to rely on Internet services, and the number of Internet users increases every day. As more and more users become connected to the network, the window of opportu...
DGO
2007
13 years 9 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...