4029 search results - page 200 / 806 » Experience with Software Watermarking |
245
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
It is widely acknowledged that group or team projects are a staple of undergraduate and graduate software engineering courses. Such projects provide students with experiences that...
172
click to vote
CIDM
2009
IEEE
15 years 11 months ago
2009
IEEE
— Identifying faulty classes in object-oriented software is one of the important software quality assurance activities. This paper empirically investigates the application of t...
148
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
134
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...