Sciweavers

166 search results - page 1 / 34
» Managing Editor's Column
Sort
View
JUCS
2008
122views more  JUCS 2008»
13 years 4 months ago
Managing Editor's Column
Hermann A. Maurer
FLAIRS
2000
13 years 6 months ago
The SH-Verification Tool
r Abstractions + Enduser Interface Analysis Kernel Tools for System Specification Enduser Interface Temporal Logic Homomorphism Editor Preamble Editor Hierarchy Editor APA EditorNe...
Peter Ochsenschläger, Jürgen Repp, Rolan...
PCM
2004
Springer
121views Multimedia» more  PCM 2004»
13 years 10 months ago
A Java-Based Collaborative Authoring System for Multimedia Presentation
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
Mee Young Sung, Do Hyung Lee
ECEASST
2008
79views more  ECEASST 2008»
13 years 4 months ago
Using Graph Transformation Systems to Specify and Verify Data Abstractions
fy and Verify Data Abstractions Luciano Baresi, Carlo Ghezzi, Andrea Mocci and Mattia Monga 14 pages Guest Editors: Claudia Ermel, Reiko Heckel, Juan de Lara Managing Editors: Tizi...
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia...
CBMS
2003
IEEE
13 years 10 months ago
A Clinical Report Management System Based upon the DICOM Structured Report Standard
Nowadays, several health institutions already use clinical report systems. However the majority of these systems do not comply with any standard for codification, storage and tran...
Mariana Kessler Bortoluzzi, Aldo von Wangenheim, K...