496 search results - page 32 / 100 » Model Checking Expressive Web Service Descriptions |
DAGSTUHL
2004
13 years 11 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
EUROMICRO
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper proposes a WSDL extension for describing IPsec policies for protecting Web Services communications. By using the proposed extension, a Web Service (server) informs to i...
SEMCO
2008
IEEE
14 years 4 months ago
2008
IEEE
Semantic Web service descriptions are typically multiparameter constructs. Discovering semantically relevant services, given a desirable service description, is typically addresse...
CAV
1998
Springer
14 years 2 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...