714 search results - page 5 / 143 » Verification and Compliance Testing |
ICSOC
2005
Springer
14 years 29 days ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
NCM
2010
13 years 5 months ago
2010
DAC
2002
ACM
14 years 8 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
AIMS
2010
Springer
13 years 9 months ago
2010
Springer
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...