171 search results - page 16 / 35 » Experience report: using RESOLVE C for commercial software |
LICS
2003
IEEE
14 years 20 days ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— Open source software are becoming more widely-used, notably in the server and desktop applications. For embedded systems development, usage of open source software can also red...
CASES
2010
ACM
13 years 5 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
RE
2004
Springer
14 years 23 days ago
2004
Springer
This paper reports on our experience of eliciting and managing requirements on a large European-based multinational project, whose purpose is to create a system to support learnin...