2493 search results - page 142 / 499 » Tool Support for Design by Contract |
DAC
1998
ACM
15 years 2 months ago
1998
ACM
Networked embedded systems are expected to support adaptive streaming audio/video applications with soft real-time constraints. These systems can be designed in a cost efficient ...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
CANDT
2009
14 years 11 months ago
2009
This paper describes a mixed method, empirical analysis of conversation reuse in an online technical support community. I find that the same characteristics that make the conversa...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
DSS
2002
14 years 9 months ago
2002
Competitive Intelligence (CI) aims to monitor a firm's external environment for information relevant to its decision-making process. As an excellent information source, the I...