Sciweavers

6312 search results - page 1125 / 1263
» A design framework for metaheuristics
Sort
View
RAID
2010
Springer
13 years 8 months ago
HyperCheck: A Hardware-Assisted Integrity Monitor
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
Jiang Wang, Angelos Stavrou, Anup K. Ghosh
SCHOLARPEDIA
2010
119views more  SCHOLARPEDIA 2010»
13 years 8 months ago
Multimedia Question Answering
With the proliferation of text and multimedia information, users are now able to find answers to almost any questions on the Web. Meanwhile, they are also bewildered by the huge a...
Tat-Seng Chua, Richang Hong, Jinhui Tang
SERA
2010
Springer
13 years 8 months ago
The Software Modeling and Implementation of Reliable Server Pooling and RSPLIB
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
Xing Zhou, Thomas Dreibholz, Martin Becke, Jobin P...
SPIN
2010
Springer
13 years 8 months ago
Experimental Comparison of Concolic and Random Testing for Java Card Applets
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
Kari Kähkönen, Roland Kindermann, Keijo ...
SPIN
2010
Springer
13 years 8 months ago
Combining SPIN with ns-2 for Protocol Optimization
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
Pedro Merino, Alberto Salmeron
« Prev « First page 1125 / 1263 Last » Next »