4029 search results - page 145 / 806 » Experience with Software Watermarking |
122
click to vote
TSE
2008
15 years 4 months ago
2008
The Unified Modeling Language (UML) is the de facto standard for object-oriented software analysis and design modeling. However, few empirical studies exist which investigate the c...
164
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Embedded distributed real-time systems are traditionally used in safety-critical application areas such as avionics, healthcare, and the automotive sector. Assuring dependability ...
123
click to vote
IJHPCA
2010
15 years 3 months ago
2010
In this paper, we analyze restrictions of traditional communication performance models affecting the accuracy of analytical prediction of the execution time of collective communic...
169
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
147
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Large-scale legacy programs take long time to compile, thereby hampering productivity. This paper presents algorithms that reduce compilation time by analyzing syntactic dependenc...