16206 search results - page 372 / 3242 » At Issue |
196
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The Mediation of Information using XML (MIX) project is a joint effort between the the San Diego Supercomputer Center (SDSC) and the Database Lab at the University of California S...
164
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...
156
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the challenges presented by singlechip parallel media processors (PMPs). These machines integrate multiple parallel function units, instruction execution, and...
160
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
The major themes of our research include the creation of mobile robot systems that are robust and adaptive in rapidly changing environments and the view of integration as a basic ...
190
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...