4674 search results - page 400 / 935 » cases 2008 |
167
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
177
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
156
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
174
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
The Zachman Framework offers a classification of the models created in an enterprise architecture project. These models form a holistic representation of the organization. Despite...
185
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
Static views of object-oriented source code as presented in a development environment (IDE) do not provide explicit representations of dynamic collaboration to describe how source...