7202 search results - page 954 / 1441 » Software System Engineering: A Tutorial |
178
click to vote
EMSOFT
2003
Springer
16 years 28 days ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
198
click to vote
FOSSACS
2003
Springer
16 years 28 days ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
174
click to vote
CSMR
2009
IEEE
16 years 12 days ago
2009
IEEE
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...
195
click to vote
IEE
2008
15 years 7 months ago
2008
: A simple and practical technique for assessing the risks, that is, the potential for error, and consequent loss, in software system development, acquired during a requirements en...
208
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...