79 search results - page 2 / 16 » Web Verification: Perspective and Challenges |
AINA
2008
IEEE
13 years 12 months ago
2008
IEEE
Web services communities can be seen as virtual clusters that agglomerate Web services with the same functionality (e.g., FlightBooking). However, selecting a community to deal wi...
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
CHI
2004
ACM
14 years 5 months ago
2004
ACM
Information retrieval or search plays an important role in a wide range of information management and electronic commerce tasks. In spite of the importance of information retrieva...
COMPSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
ICWS
2008
IEEE
13 years 6 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...