Search Sciweavers | Sciweavers

3387 search results - page 21 / 678

» Automating the Metamodeling Process

173

click to vote

ENTCS
2006

183views more ENTCS 2006»

Metamodel-Based Model Transformation with Aspect-Oriented Constraints

15 years 5 months ago

Download tfs.cs.tu-berlin.de

Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...

László Lengyel, Tihamer Levendovszky...

claim paper

Read More »

133

click to vote

LICS
2000
IEEE

106views Automated Reasoning» more LICS 2000»

Assigning Types to Processes

15 years 10 months ago

Download www.cogs.susx.ac.uk

Nobuko Yoshida, Matthew Hennessy

claim paper

Read More »

132

click to vote

LICS
1998
IEEE

68views Automated Reasoning» more LICS 1998»

Recursive Types in Games: Axiomatics and Process Representation

15 years 10 months ago

Download www.eecs.qmul.ac.uk

Marcelo P. Fiore, Kohei Honda

claim paper

Read More »

135

click to vote

TIME
1997
IEEE

102views Automated Reasoning» more TIME 1997»

Enhancements to the Ground Processing Scheduling System

15 years 10 months ago

Download www.aaai.org

Juan Jose Blanco, Lina Khatib

claim paper

Read More »

118

click to vote

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers