5900 search results - page 967 / 1180 » Dependable Systems |
179
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
The Isomorphism of Polynomials (IP) [28], which is the main concern of this paper, originally corresponds to the problem of recovering the secret key of a C scheme [26]. Besides, t...
191
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
The success of a company more and more depends on its ability to flexibly and quickly react to changes. Combining process management techniques and conversational case-based reason...
154
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present the design and implementation of a dynamically reconfigurable system for packet queue scheduling. Two widely accepted queue schedulers have been implement...
150
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
171
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....