1585 search results - page 94 / 317 » A framework for computer-aided validation |
108
click to vote
ACISICIS
2008
IEEE
15 years 9 months ago
2008
IEEE
Dedicated machine constraint is one of the new challenges introduced in photolithography machinery of the semiconductor manufacturing system due to natural bias. Previous research...
106
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
127
click to vote
TRUSTBUS
2007
Springer
15 years 9 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
123
Voted
ICNP
2002
IEEE
15 years 8 months ago
2002
IEEE
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
125
click to vote
SPLC
2004
15 years 4 months ago
2004
Abstract. This paper proposes a 4-dimensional software product family engineering evaluation framework. The four dimensions relate to the software engineering concerns of business,...