95 search results - page 18 / 19 » Conformance checking of service behavior |
MMM
2005
Springer
14 years 1 months ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
ACMMSP
2005
ACM
14 years 1 months ago
2005
ACM
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
IEEESCC
2009
IEEE
13 years 5 months ago
2009
IEEE
Business-To-Business Integration (B2Bi) is a key mechanism for enterprises to gain competitive advantage. However, developing B2Bi applications is far from trivial. Inter alia, ag...
ACSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose STILL, a generic defense based on Static Taint and InitiaLization anaLyses, to detect exploit code embedded in data streams/requests targeting at various Internet servi...
ICWS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...