Sciweavers

497 search results - page 12 / 100
» Compositional Matrix-Space Models of Language
Sort
View
ICMT
2009
Springer
14 years 5 months ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...
APSEC
2005
IEEE
14 years 4 months ago
Model-Driven Semantic Web Service Composition
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
Roy Grønmo, Michael C. Jaeger
ICDE
2005
IEEE
107views Database» more  ICDE 2005»
15 years 8 days ago
Spatiotemporal Annotation Graph (STAG): A Data Model for Composite Digital Objects
In this demonstration, we present a database over complex documents, which, in addition to a structured text content, also has update information, annotations, and embedded object...
Smriti Yamini, Amarnath Gupta
IPPS
2002
IEEE
14 years 3 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
14 years 4 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai