Sciweavers

4029 search results - page 197 / 806
» Experience with Software Watermarking
Sort
View
PROFES
2004
Springer
15 years 10 months ago
Using Software Inspection as a Catalyst for SPI in a Small Company
Process improvement activities in small and medium size enterprises (SME) are challenging due to small number of personnel and projects, people have to perform in a variety of role...
Lasse Harjumaa, Ilkka Tervonen, Pekka Vuorio
SPIN
2004
Springer
15 years 10 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
ICS
2003
Tsinghua U.
15 years 10 months ago
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
Xiangmin Jiao, Michael T. Campbell, Michael T. Hea...
131
Voted
ACSAC
2002
IEEE
15 years 10 months ago
Protecting Data from Malicious Software
Corruption or disclosure of sensitive user documents can be among the most lasting and costly effects of malicious software attacks. Many malicious programs specifically target fi...
Matthew Schmid, Frank Hill, Anup K. Ghosh
171
Voted
MSR
2009
ACM
15 years 9 months ago
MapReduce as a general framework to support research in Mining Software Repositories (MSR)
Researchers continue to demonstrate the benefits of Mining Software Repositories (MSR) for supporting software development and research activities. However, as the mining process...
Weiyi Shang, Zhen Ming Jiang, Bram Adams, Ahmed E....