Sciweavers

5775 search results - page 145 / 1155
» A Rationale-based Analysis Tool
Sort
View
CSAC
2006
15 years 7 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
SPIESR
2001
152views Database» more  SPIESR 2001»
15 years 7 months ago
Video summarization and semantics editing tools
This paper describes a video summarization and semantics editing tool that is suited for content-based video indexing and retrieval with appropriate human operator assistance. The...
Li-Qun Xu, Jian Zhu, Fred Stentiford
SERP
2004
15 years 7 months ago
The Architectural Design of FRUIT: A Family of Retargetable User Interface Tools
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...
Yi Liu, H. Conrad Cunningham, Hui Xiong
BMCBI
2010
88views more  BMCBI 2010»
15 years 6 months ago
MetaBar - a tool for consistent contextual data acquisition and standards compliant submission
Background: Environmental sequence datasets are increasing at an exponential rate; however, the vast majority of them lack appropriate descriptors like sampling location, time and...
Wolfgang Hankeln, Pier Luigi Buttigieg, Dennis Fin...
CANDC
2002
ACM
15 years 6 months ago
A Tool for the Interactive 3D Visualization of Electronic Structure in Molecules and Solids
This paper presents the Vienna ab initio simulation package (VASP) data viewer, a desktop 3D visualization application for the analysis of valence electronic structure information...
Timothy B. Terriberry, David F. Cox, Doug A. Bowma...