10715 search results - page 2035 / 2143 » Proofs from Tests |
MMMACNS
2005
Springer
14 years 1 months ago
2005
Springer
The variety and richness of what users browse on the Internet has made the communications of web-browsing hosts an attractive target for surveillance. We show that passive external...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
WIRN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents an Artificial Immune-based optimization technique for solving the economic dispatch problem in a power system. The main role of electrical power utili...
ACMACE
2004
ACM
14 years 1 months ago
2004
ACM
The game and entertainment industry plays an enormous role within the development and extensive usage of new technologies. They are one major technology driver concerning the deve...