714 search results - page 5 / 143 » Verification and Compliance Testing |
ICSOC
2005
Springer
15 years 5 months 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
14 years 10 months ago
2010
151
click to vote
DAC
2002
ACM
16 years 1 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
16 years 12 days 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...
111
click to vote
AIMS
2010
Springer
15 years 1 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 ...