Sciweavers

4151 search results - page 563 / 831
» Language Driven System Design
Sort
View
ISSTA
2004
ACM
16 years 19 days ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
SMA
2003
ACM
151views Solid Modeling» more  SMA 2003»
16 years 13 days ago
An architecture for universal CAD data exchange
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
Ari Rappoport
VL
1999
IEEE
136views Visual Languages» more  VL 1999»
15 years 11 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...
WEBDB
1998
Springer
83views Database» more  WEBDB 1998»
15 years 11 months ago
On the Unification of Persistent Programming and the World Wide Web
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
Richard C. H. Connor, Keith Sibson, Paolo Manghi
CORR
2007
Springer
107views Education» more  CORR 2007»
15 years 7 months ago
Morphological annotation of Korean with Directly Maintainable Resources
This article describes an exclusively resource-based method of morphological annotation of written Korean text. Korean is an agglutinative language. Our annotator is designed to p...
Ivan Berlocher, Hyun-Gue Huh, Eric Laporte, Jee-Su...