5457 search results - page 774 / 1092 » Software Component Independence |
189
click to vote
TCS
2010
15 years 5 months ago
2010
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
178
click to vote
TSE
2010
15 years 5 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
160
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...
184
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Software transactional memory (STM) algorithms often rely on centralized components to achieve atomicity, isolation and consistency. In a distributed setting, centralized...
185
click to vote
DASIP
2010
15 years 1 months ago
2010
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...