1742 search results - page 154 / 349 » An Applicative Module Calculus |
111
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
SSWMC
2004
15 years 2 months ago
2004
While Digital Watermarking has received much attention in recent years, it is still a relatively young technology. There are few accepted tools/metrics that can be used to evaluat...
154
Voted
WEBNET
2001
15 years 2 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
120
Voted
WSCG
2004
15 years 2 months ago
2004
This work deals with some problems of constructing and graphical displaying for a class of kinematic surfaces generated by mutual moving ruled surfaces touching one another along ...