780 search results - page 45 / 156 » Compositional Quantitative Reasoning |
93
Voted
WECWIS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes a software solution for the WSChallenge 2006. We introduce the MOVE framework that has been applied to this challenge. Also, the architecture, algorithms, and...
111
Voted
FTDCS
2004
IEEE
15 years 4 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
139
Voted
EDOC
2008
IEEE
15 years 7 months ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
108
Voted
JUCS
2007
15 years 21 days ago
2007
Abstract: Knowledge management is characterized by many different activities ranging from the elicitation of knowledge to its storing, sharing, maintenance, usage and creation. Sk...
123
click to vote
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...