496 search results - page 77 / 100 » Model Checking Expressive Web Service Descriptions |
DALT
2004
Springer
14 years 21 days ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
WISE
2007
Springer
14 years 3 months ago
2007
Springer
Current problems in Business Process Management consist of terminology mismatches and unstructured and isolated knowledge representation in process models. Semantic Business Proces...
HPDC
2008
IEEE
14 years 3 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
APSEC
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Context-awareness is a highly desired feature across several application domains. Semantic Web Services (SWS) technologies address context-adaptation by enabling the automatic disc...