Sciweavers

4166 search results - page 456 / 834
» Automating the constraining process
Sort
View
EP
1998
Springer
15 years 10 months ago
Autotag: A Tool for Creating Structured Document Collections from Printed Materials
We report on the design and implementation of a system which automates the process of capturing structured documents from the optically recognized form of printed materials. The sy...
Kazem Taghva, Allen Condit, Julie Borsack
ADAEUROPE
1997
Springer
15 years 10 months ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey
VLDB
1992
ACM
122views Database» more  VLDB 1992»
15 years 10 months ago
Using Flexible Transactions to Support Multi-System Telecommunication Applications
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Am...
FDL
2007
IEEE
15 years 10 months ago
A Domain Specific Language for Cryptography
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
Giovanni Agosta, Gerardo Pelosi
AFRIGRAPH
2001
ACM
15 years 9 months ago
Real time isosurface browsing
: Cross-sectioning is a popular method for visualizing the complicated inner structures of three-dimensional volume datasets. However, the process is usually manual, meaning that a...
Caleb Lyness, Edwin H. Blake