NJC 2002 | Sciweavers

38

NJC
2002

109views more NJC 2002»

Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

14 years 2 days 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 »

31

click to vote

NJC
2002

65views more NJC 2002»

Blood from Dahm's Turnip

14 years 2 days ago

Download www.cs.indiana.edu

Kasey N. Klipsch, David S. Wise

claim paper

Read More »

32

click to vote

NJC
2002

72views more NJC 2002»

Safe Dynamic Multiple Inheritance

14 years 2 days ago

Download www.daimi.au.dk

Erik Ernst

claim paper

Read More »

23

click to vote

NJC
2002

40views more NJC 2002»

A Pattern-Based J2EE Application Development Environment

14 years 2 days ago

Download www.it-c.dk

Imed Hammouda, Kai Koskimies

claim paper

Read More »

24

click to vote

NJC
2002

54views more NJC 2002»

Code Synthesis for Timed Automata

14 years 2 days 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