4276 search results - page 577 / 856 » Techniques for Empirical Validation |
148
click to vote
ICSM
2008
IEEE
16 years 29 days ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
156
click to vote
TASE
2008
IEEE
16 years 28 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
187
click to vote
TRIDENTCOM
2008
IEEE
16 years 28 days ago
2008
IEEE
The 3GPP System Architecture Evolution (SAE) is a very attractive environment from the service provisioning perspective, thanks to the variety of access technologies and mobility ...
167
click to vote
GLVLSI
2007
IEEE
16 years 27 days ago
2007
IEEE
We describe an efficient, top-down strategy for overlap removal and floorplan repair which repairs overlaps in floorplans produced by placement algorithms or rough floorplanni...
130
click to vote
ICMCS
2007
IEEE
16 years 26 days ago
2007
IEEE
It is well known that in professional TV show filming, stage lighting has to be carefully designed in order to make the host and the scene look visually appealing. The lighting a...