NJC 2002 | Sciweavers

14

NJC
2002

109views more NJC 2002»

Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

13 years 4 months ago

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...

claim paper

Read More »

12

click to vote

NJC
2002

65views more NJC 2002»

Blood from Dahm's Turnip

13 years 4 months ago

Download www.cs.indiana.edu

Kasey N. Klipsch, David S. Wise

claim paper

Read More »

10

click to vote

NJC
2002

72views more NJC 2002»

Safe Dynamic Multiple Inheritance

13 years 4 months ago

Download www.daimi.au.dk

Erik Ernst

claim paper

Read More »

7

click to vote

NJC
2002

40views more NJC 2002»

A Pattern-Based J2EE Application Development Environment

13 years 4 months ago

Download www.it-c.dk

Imed Hammouda, Kai Koskimies

claim paper

Read More »

6

click to vote

NJC
2002

54views more NJC 2002»

Code Synthesis for Timed Automata

13 years 4 months ago

Download www.it.uu.se

Tobias Amnell, Elena Fersman, Paul Pettersson, Hon...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers