Sciweavers

4029 search results - page 292 / 806
» Experience with Software Watermarking
Sort
View
SEE
2010
Springer
15 years 5 months ago
Development of Role-Play Scenarios for Teaching Responsible Conduct of Research
We describe the development, testing, and formative evaluation of nine role-play scenarios for teaching central topics in the responsible conduct of research to graduate students ...
Bradley J. Brummel, C. K. Gunsalus, Kerri L. Ander...
SIGSOFT
2010
ACM
15 years 5 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
WCRE
2010
IEEE
15 years 4 months ago
Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
Ana Milanova, Yin Liu
TCIAIG
2010
15 years 1 months ago
Evolutionary Game Design
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
Cameron Browne, Frédéric Maire
ICST
2011
IEEE
14 years 10 months ago
Assessing Oracle Quality with Checked Coverage
—A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In ...
David Schuler, Andreas Zeller