7202 search results - page 85 / 1441 » Software System Engineering: A Tutorial |
131
Voted
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
122
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Software defects lead to security vulnerabilities, which are costing businesses millions of dollars each year and threaten the security of individuals and the nation. It can be de...
CODES
1998
IEEE
15 years 6 months ago
1998
IEEE
Energy dissipationis a hot topic in the design of
COMSWARE
2008
IEEE
15 years 8 months ago
2008
IEEE
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
