1940 search results - page 244 / 388 » Dependable Software: An Oxymoron |
168
click to vote
IFIP
2007
Springer
16 years 20 days 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...
152
click to vote
MTSR
2007
Springer
16 years 20 days 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...
163
click to vote
OOPSLA
2007
Springer
16 years 20 days 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...
120
click to vote
SAMOS
2007
Springer
16 years 19 days 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 ...
189
click to vote
ICAS
2006
IEEE
16 years 17 days 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,...