Sciweavers

6583 search results - page 477 / 1317
» Semantic Analysis Patterns
Sort
View
CC
2005
Springer
195views System Software» more  CC 2005»
15 years 9 months ago
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
Luca Padovani
FOMI
2008
15 years 8 months ago
IPAS ontology development
There is a trend in some manufacturing industries to move from selling products to providing services. As a result, designers must consider the life-cycle costs. In the aero indust...
David W. Fowler, Quentin Reul, Derek H. Sleeman
166
Voted
CSI
2007
83views more  CSI 2007»
15 years 7 months ago
A model-driven choreography conceptual framework
A number of languages exist that try to model the external visible behavior of services. However, they constitute incomplete solutions, either because, they do not include proper ...
Sinuhé Arroyo, Alistair Duke, José M...
CORR
1998
Springer
145views Education» more  CORR 1998»
15 years 6 months ago
Anchoring a Lexicalized Tree-Adjoining Grammar for Discourse
We here explore a "fully" lexicalized Tree-Adjoining Grammar for discourse that takes the basic elements of a (monologic) discourse to be not simply clauses, but larger ...
Bonnie L. Webber, Aravind K. Joshi
NJC
2002
109views more  NJC 2002»
15 years 6 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...