2934 search results - page 267 / 587 » Universality in Multi-Agent Systems |
168
click to vote
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
Telephone Switches are characteristically long-lived, evolving systems. We describe how a legacy two-tier system for telephone switch management was reengineered as a three-tier w...
148
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
We describe a Web-based interactive system, called PILOT, for testing computer science concepts. The strengths of PILOT are its universal access and platform independence, its use...
197
click to vote
SPDP
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper examines how the performance of a shared-memory multiprocessor can be improved by including hardware support for block transfers. A system similar to the Hector multipr...
186
Voted
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
158
click to vote
WSC
2007
15 years 9 months ago
2007
Auburn University, through the Army’s Aviation and Missile Research, Development and Engineering Center (AMRDEC) has been supporting the Unmanned Systems Initiative (USI) progra...