Sciweavers

3948 search results - page 234 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
SEMWEB
2010
Springer
15 years 3 months ago
Fusion - Visually Exploring and Eliciting Relationships in Linked Data
Building applications over Linked Data often requires a mapping between the application model and the ontology underlying the source dataset in the Linked Data cloud. This mapping ...
Samur Araújo, Geert-Jan Houben, Daniel Schw...
ICRA
2007
IEEE
108views Robotics» more  ICRA 2007»
16 years 2 days ago
Automated Tool Handling for the Trauma Pod Surgical Robot
— In order to enable robotic surgery without human assistance, a means must be developed to change tools. As part of the larger Trauma Pod Project, we developed the Tool Rack Sub...
Diana C. W. Friedman, Jesse Dosher, Tim Kowalewski...
ENTCS
2006
137views more  ENTCS 2006»
15 years 5 months ago
Automated Security Protocol Analysis With the AVISPA Tool
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
Luca Viganò
PROFES
2004
Springer
15 years 11 months ago
Introducing the Next Generation of Software Inspection Tools
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...
Henrik Hedberg
UML
2004
Springer
15 years 11 months ago
The AGEDIS Tools for Model Based Testing
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
Alan Hartman, Kenneth Nagin