944 search results - page 60 / 189 » Software model checking without source code |
ASPDAC
2010
ACM
13 years 8 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
JMM2
2007
13 years 10 months ago
2007
Abstract In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
ICSM
2003
IEEE
14 years 3 months ago
2003
IEEE
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
ICSE
1998
IEEE-ACM
14 years 1 months ago
1998
IEEE-ACM
other projects in the database. Software development data is highly variable, which often result,s in underlying trends being hidden. In order to address this problem, a method of ...
IANDC
2008
13 years 10 months ago
2008
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...