1327 search results - page 100 / 266 » Cost-Benefit Analysis of Software Development Techniques and... |
149
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
186
click to vote
RIAO
2000
15 years 8 months ago
2000
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
181
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
196
click to vote
IEEEPACT
1998
IEEE
15 years 11 months ago
1998
IEEE
This work identifies practical compiling techniques for scalable shared memory machines. For this, we have focused on experimental studies using a real machine and representative ...
133
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
- The design methodology and technique is presented to expand the power of commercial SPICE to simulate mixed electricalthermal-mechanical microsystems, consisting of motors being ...