Sciweavers

2050 search results - page 255 / 410
» A formal foundation for process modeling
Sort
View
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...
CORR
2008
Springer
123views Education» more  CORR 2008»
15 years 6 months ago
Provenance Traces
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due...
James Cheney, Umut A. Acar, Amal Ahmed
ICIS
2003
15 years 8 months ago
The Antecedents of Information Systems Development Capability in Firms: A Knowledge Integration Perspective
ThelinkagesbetweenISandbusinessunitsarerecognizedasbeingcriticaltoinformationsystemsdevelopment processes and outcomes. Previous research has found that they are associated with b...
Amrit Tiwana, Anandhi S. Bharadwaj, V. Sambamurthy
CDVE
2006
Springer
109views Visualization» more  CDVE 2006»
15 years 10 months ago
Use of Patterns for Knowledge Management in the Ceramic Tile Design Chain
Knowledge Management (KM) is a complex objective, especially in the instance of extended enterprises consisting of SMEs, and critical in new product design and development (NPD). T...
María Jesús Agost, Fernando Romero, ...
AIIA
2005
Springer
15 years 8 months ago
Building a Wide Coverage Dynamic Grammar
Incremental processing is relevant for language modeling, speech recognition and language generation. In this paper we devise a dynamic version of Tree Adjoining Grammar (DVTAG) th...
Alessandro Mazzei, Vincenzo Lombardo