4029 search results - page 289 / 806 » Experience with Software Watermarking |
151
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, ...
136
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
157
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the unavoidable problem of dynamic reconfiguration in component-based system with a hierarchical component model. The presented solution is based on (1) allowi...
147
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
- Managing the product’s backlog is a major task in agile projects. This case study reports on one organization’s experiences from the transition to a backlog management tool a...
135
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we address a generalized method of mapping a control system simulation model to the PLC emulator being tested using model variables and PLC tags under the offline c...