10 search results - page 1 / 2 » cleiej 2007 |
CLEIEJ
2007
13 years 5 months ago
2007
CLEIEJ
2007
13 years 5 months ago
2007
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
CLEIEJ
2007
13 years 5 months ago
2007
This paper presents a description of the environments of individualized learning (Based on the Intelligent Tutoring Systems, ITS), the Computer Supported Collaborative Learning (C...
CLEIEJ
2007
13 years 5 months ago
2007
: Active Database Systems (ADBSs) provides a good infrastructure to define and execute active rules. Nevertheless, this infrastructure offered by ADBSs does not completely satisfy ...
CLEIEJ
2007
13 years 5 months ago
2007
: Several business areas, like Management and Negotiation, have used games like a didactic way to simulate world reality, to introduce students to the day-to-day generated problems...