Sciweavers

1082 search results - page 176 / 217
» Learning the Semantic Meaning of a Concept from the Web
Sort
View
DAGSTUHL
2004
13 years 9 months ago
Refinement and Consistency in Multiview Models
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
Heike Wehrheim
POPL
2004
ACM
14 years 8 months ago
Tridirectional typechecking
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
Joshua Dunfield, Frank Pfenning
LCPC
1995
Springer
13 years 11 months ago
V-cal: A Calculus for the Compilation of Data Parallel Languages
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
P. F. G. Dechering, J. A. Trescher, J. P. M. de Vr...
ADBIS
1998
Springer
116views Database» more  ADBIS 1998»
14 years 14 days ago
Workflow Management in the Internet Age
For the last many years, workflow management (WFM) has been the focus of intense activity in terms of products, standards and research work worldwide. WFM integrates concepts from ...
C. Mohan

Book
2028views
15 years 4 months ago
TCL Wise - Guide to the TCL Programming Language
"this book is an introduction to the main ideas of the Tcl programming language: If you wish to learn a simple and powerful programming language, this book is for you. To read...
Salvatore Sanfilippo