4029 search results - page 513 / 806 » Experience with Software Watermarking |
148
click to vote
SPIN
2004
Springer
16 years 1 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
168
click to vote
IWPSE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
156
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
232
Voted
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
181
click to vote
AIM
2006
15 years 8 months ago
2006
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...