2605 search results - page 288 / 521 » The many levels of CSCL |
156
click to vote
AMAI
2004
Springer
16 years 9 hour ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
153
Voted
ATAL
2004
Springer
16 years 8 hour ago
2004
Springer
Work on agent development frameworks, toolkits and methodologies have recently reached to such a level that ordinary organizations can develop their own multi-agent platforms easi...
163
click to vote
ATAL
2004
Springer
16 years 7 hour ago
2004
Springer
As the science of multi-agent systems matures, many developers are looking to deploy mission critical applications on distributed multi-agent systems (DMAS). Due to their distribu...
159
click to vote
BPM
2004
Springer
16 years 6 hour ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
164
click to vote
CP
2004
Springer
16 years 3 hour ago
2004
Springer
We have started a systematic study of global constraints on set and multiset variables. We consider here disjoint, partition, and intersection constraints in conjunction with cardi...