4476 search results - page 585 / 896 » A flexible framework for engineering |
187
click to vote
FSTTCS
2004
Springer
16 years 2 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
189
click to vote
IBERAMIA
2004
Springer
16 years 2 days ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
145
click to vote
ITS
2004
Springer
16 years 1 days ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
122
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
154
click to vote
SEKE
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we present an alternative to the VISITOR pattern, DYNAMIC DISPATCHER, that can be applied to extend existing software in a nonintrusive way, and which simulates cova...