1432 search results - page 192 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
127
click to vote
WISER
2004
ACM
15 years 9 months ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
135
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...
133
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is...
130
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
156
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...