284 search results - page 23 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
AAAI
2006
13 years 9 months ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
RTS
2008
13 years 7 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
BMCBI
2008
13 years 8 months ago
2008
Background: Web Services and Workflow Management Systems can support creation and deployment of network systems, able to automate data analysis and retrieval processes in biomedic...
EDOC
2009
IEEE
13 years 12 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...