Sciweavers

783 search results - page 56 / 157
» Bridging the Gaps
Sort
View
EVOW
2003
Springer
14 years 4 months ago
Evolving Symbolic Controllers
Abstract. The idea of symbolic controllers tries to bridge the gap between the top-down manual design of the controller architecture, as advocated in Brooks’ subsumption architec...
Nicolas Godzik, Marc Schoenauer, Michèle Se...
GCC
2003
Springer
14 years 4 months ago
An Engineering Computation Oriented Visual Grid Framework
Grid computing technology is a focused field in high performance computing. This paper describes an engineering computation oriented visual grid framework VGrid, which is capable t...
Guiyi Wei, Yao Zheng, Jifa Zhang, Guanghua Song
EUROCRYPT
2010
Springer
14 years 3 months ago
Plaintext-Dependent Decryption: A Formal Security Treatment of SSH-CTR
This paper presents a formal security analysis of SSH in counter mode in a security model that accurately captures the capabilities of real-world attackers, as well as security-rel...
Kenneth G. Paterson, Gaven J. Watson
RE
2009
Springer
14 years 3 months ago
Modeling Service-Level Requirements: A Constancy Perspective
IT service requirements offer a seemingly classic Requirements Engineering (RE) problem. But, when attempting to solve it with RE methods, we are faced with difficulties. RE metho...
Gil Regev, Olivier Hayard, Donald C. Gause, Alain ...
RT
2001
Springer
14 years 3 months ago
Interleaved Sampling
The known sampling methods can roughly be grouped into regular and irregular sampling. While regular sampling can be realized efficiently in graphics hardware, it is prone to inte...
Alexander Keller, Wolfgang Heidrich