2934 search results - page 210 / 587 » Universality in Multi-Agent Systems |
192
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
263
click to vote
IADIS
2003
15 years 7 months ago
2003
University Fernando Pessoa, a small university with around 4500 students enrolled, has developed a Web application to support administrative work for its teaching staff. It is a w...
161
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
The ASU Libraries' staff had considerable experience creating digital library systems to satisfy the needs of a major university library. These systems were designed to be hig...
156
click to vote
ICALT
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper introduces the MarkTool System – a software system designed to support formative assessment of open-ended written assignments. The MarkTool System brings together ser...
156
click to vote
LISA
2008
15 years 8 months ago
2008
Automated system deployment frameworks and configuration management systems have been in wide use for a number of years. However, due to increasing pressures to maintain high avai...