NJC 2002 | Sciweavers

94

NJC
2002

109views more NJC 2002»

Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

14 years 10 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 »

67

click to vote

NJC
2002

65views more NJC 2002»

Blood from Dahm's Turnip

14 years 10 months ago

Download www.cs.indiana.edu

Kasey N. Klipsch, David S. Wise

claim paper

Read More »

66

click to vote

NJC
2002

72views more NJC 2002»

Safe Dynamic Multiple Inheritance

14 years 10 months ago

Download www.daimi.au.dk

Erik Ernst

claim paper

Read More »

64

click to vote

NJC
2002

40views more NJC 2002»

A Pattern-Based J2EE Application Development Environment

14 years 10 months ago

Download www.it-c.dk

Imed Hammouda, Kai Koskimies

claim paper

Read More »

59

click to vote

NJC
2002

54views more NJC 2002»

Code Synthesis for Timed Automata

14 years 10 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