4469 search results - page 673 / 894 » A Language for Role Specifications |
106
click to vote
IFE
2002
15 years 6 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
156
click to vote
IEE
1998
15 years 6 months ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
150
click to vote
SIMULATION
2002
15 years 6 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...
184
click to vote
TCS
2002
15 years 6 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
175
click to vote
TMM
2002
15 years 6 months ago
2002
A comprehensive video retrieval system should be able to accommodate and utilize various (complementary) description data in facilitating effective retrieval. In this paper, we ad...