Sciweavers

3948 search results - page 263 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
CAV
2010
Springer
223views Hardware» more  CAV 2010»
15 years 9 months ago
RATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
Roderick Bloem, Alessandro Cimatti, Karin Greimel,...
APSEC
2004
IEEE
15 years 9 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
CATA
2004
15 years 7 months ago
ImageSpace: an Image Ontology Creation and Annotation Tool for the Semantic Web
Ontologies are central to the architecture of the Semantic Web, the next generation Web that is currently under active development. We have developed ImageSpace, an image ontology...
Rong Huang, Shiyong Lu, Farshad Fotouhi
ECIR
2004
Springer
15 years 7 months ago
A Study of User Interaction with a Concept-Based Interactive Query Expansion Support Tool
A medium-scale user study was carried out to investigate the usability of a concept-based query expansion support tool. The tool was fully integrated into the interface of an IR sy...
Hideo Joho, Mark Sanderson, Micheline Beaulieu
WOA
2001
15 years 7 months ago
A Knowledge Modeling Tool for Rule-Based Agents
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
Marco Repetto, Christian Vecchiola, Antonio Boccal...