Sciweavers

5334 search results - page 909 / 1067
» Communicating quantum processes
Sort
View
ESEC
1999
Springer
15 years 8 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
RIDE
1999
IEEE
15 years 8 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu
VL
1999
IEEE
136views Visual Languages» more  VL 1999»
15 years 8 months ago
Scaling up a "What You See Is What You Test" Methodology to Spreadsheet Grids
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
Margaret M. Burnett, Andrei Sheretov, Gregg Rother...
HUC
1999
Springer
15 years 8 months ago
Today's Stories
Research frameworks are being developed that involve very young children in the process of development of future technologies. Children, their teachers and parents from schools in ...
Marilyn Panayi, Walter Van de Velde, David M. Roy,...
CBMS
1998
IEEE
15 years 8 months ago
Lexicon Assistance Reduces Manual Verification of OCR Output
An OCR system chosen for its high recognition rate and low percent of false positives also assigns low confidence values to many characters that are actually correct. Human operat...
Susan E. Hauser, A. C. Browne, George R. Thoma, Al...