1489 search results - page 87 / 298 » The First Bug Report |
105
click to vote
ATS
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose an effective approach to diagnose multiple design errors in HDL designs with only one erroneous test case. Error candidates will be greatly reduced while ensuring that ...
113
click to vote
DEXAW
2000
IEEE
15 years 8 months ago
2000
IEEE
Thorough process improvement starts with an analysis of the current situation. This is also true for requirements engineering processes. The goal of cooperation between DaimlerChq...
142
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
126
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Traditional database security mechanisms are very limited in defending successful data attacks. Authorized but malicious transactions can make a database useless by impairing its ...
146
click to vote
GI
1995
Springer
15 years 7 months ago
1995
Springer
In the past decade, the programming languages C++, FORTRAN 90 and Oberon-2 allevolved from their ancestors. This invites to reflect upon the suitability ofthese modern programming...