496 search results - page 32 / 100 » Model Checking Expressive Web Service Descriptions |
111
click to vote
DAGSTUHL
2004
15 years 3 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
15 years 6 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...
113
click to vote
SEMCO
2008
IEEE
15 years 8 months ago
2008
IEEE
Semantic Web service descriptions are typically multiparameter constructs. Discovering semantically relevant services, given a desirable service description, is typically addresse...
129
click to vote
CAV
1998
Springer
15 years 6 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...
131
click to vote
SIGSOFT
2003
ACM
15 years 7 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...