Sciweavers

546 search results - page 66 / 110
» An Action Semantics for MML
Sort
View
EDOC
2011
IEEE
14 years 5 months ago
UML Metamodel-based Workflow Modeling and Execution
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...
Jens Brüning, Martin Gogolla
ICDE
2008
IEEE
152views Database» more  ICDE 2008»
16 years 7 months ago
Muse: Mapping Understanding and deSign by Example
A fundamental problem in information integration is that of designing the relationships, called schema mappings, between two schemas. The specification of a semantically correct sc...
Bogdan Alexe, Laura Chiticariu, Renée J. Mi...
CL
2000
Springer
15 years 9 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi
FMOODS
2008
15 years 7 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
CSL
2002
Springer
15 years 5 months ago
Learning visually grounded words and syntax for a scene description task
A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a `show-and-tell' procedu...
Deb K. Roy