Sciweavers

6775 search results - page 1026 / 1355
» Diagnosis of Active Systems
Sort
View
ADAEUROPE
2001
Springer
15 years 11 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
PROFES
2001
Springer
15 years 11 months ago
Project Improvement as Start-Up
“We boldly go where no man has gone before”. We want to announce new products and services and use matching supporting information systems. All this more rapidly than before an...
Ton Dekkers
173
Voted
ICC
2000
IEEE
15 years 11 months ago
A Framework for the Analysis of Adaptive Voice over IP
— In this paper, we present a framework for the analysis of a set of adaptive variable-bit-rate voice sources in a packet network. The instantaneous bit rate of each source is de...
Claudio Casetti, J. C. De Martin, Michela Meo
ACSE
2000
ACM
15 years 11 months ago
Are you interested in computers and electronics?
Secondary school students, when investigating tertiary study, have little opportunity to discover what a particular course has to offer and often have a poor understanding of empl...
David Abramson, Gordon S. Lowe, Peter Atkinson
DATE
1999
IEEE
74views Hardware» more  DATE 1999»
15 years 11 months ago
FSMD Functional Partitioning for Low Power
Previous work has shown that sizable power reductions can be achieved by shutting down a system's sub-circuits when they are not needed. However, these shutdown techniques fo...
Enoch Hwang, Frank Vahid, Yu-Chin Hsu
« Prev « First page 1026 / 1355 Last » Next »