2605 search results - page 288 / 521 » The many levels of CSCL |
177
click to vote
AMAI
2004
Springer
16 years 19 days 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...
172
click to vote
ATAL
2004
Springer
16 years 19 days 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...
189
click to vote
ATAL
2004
Springer
16 years 19 days 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...
184
click to vote
BPM
2004
Springer
16 years 19 days 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 ...
179
click to vote
CP
2004
Springer
16 years 19 days 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...