Sciweavers

2016 search results - page 91 / 404
» Tool Support for Ontology Engineering
Sort
View
ICSOC
2007
Springer
16 years 9 days ago
From OWL-S Descriptions to Petri Nets
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
Antonio Brogi, Sara Corfini, Stefano Iardella
COMPSAC
2003
IEEE
15 years 11 months ago
A Multi-Agent Software Environment for Testing Web-based Applications
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...
Qingning Huo, Hong Zhu, Sue Greenwood
SCAM
2002
IEEE
15 years 11 months ago
Parallel Support for Source Code Analysis and Modification
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
Ira D. Baxter
EKAW
2004
Springer
15 years 11 months ago
OntoWeaver-S: Supporting the Design of Knowledge Portals
This paper presents OntoWeaver-S, an ontology-based infrastructure for building knowledge portals. In particular, OntoWeaver-S is integrated with a comprehensive web service platfo...
Yuangui Lei, Enrico Motta, John Domingue
ICSE
2007
IEEE-ACM
16 years 6 months ago
Supporting the Investigation and Planning of Pragmatic Reuse Tasks
Software reuse has long been promoted as a means to increase developer productivity; however, reusing source code is difficult in practice and tends to be performed in an ad hoc m...
Reid Holmes, Robert J. Walker