37 search results - page 2 / 8 » Repeatable Quality Assurance Techniques for Requirements Neg... |
APNOMS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The use of Internet as an ubiquitous communication platform puts a strong demand on service providers regarding the assurance of multiple service levels consistently. Des...
DAC
2006
ACM
14 years 5 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
RTSS
1998
IEEE
13 years 9 months ago
1998
IEEE
High-bandwidth applications with time-dependent resource requirements demand certain resource level assurances in order to operate correctly. Quality of Service resource managemen...
TAICPART
2006
IEEE
13 years 11 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...