8627 search results - page 182 / 1726 » Software Engineering Using RATionale |
160
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
151
click to vote
METRICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associ...
175
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
To improve the performance of transactional memory (TM), researchers have found many eager and lazy optimizations for conflict detection, the process of determining if transaction...
187
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
156
Voted
B
1998
Springer
15 years 10 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....