5477 search results - page 949 / 1096 » Contexts, Domains, and Software |
180
click to vote
EGH
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly conď¬...
152
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Most of all software systems have to be changed after their initial deployment. This is not only because of changing knowledge and expectations about our domains and systems, but a...
213
click to vote
IWAN
2004
Springer
15 years 12 months ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...
189
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
162
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...