1940 search results - page 244 / 388 » Dependable Software: An Oxymoron |
201
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
170
click to vote
MTSR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we discuss long-term digital preservation from an information perspective, rather than the predominant approaches; the Archival and the Technocratic Approach. Inform...
190
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...
145
click to vote
SAMOS
2007
Springer
16 years 1 months ago
2007
Springer
—This paper describes the design of a programmable coprocessor for Public Key Cryptography (PKC) on an FPGA. The implementation provides a very broad range of functions together ...
215
click to vote
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...