5210 search results - page 293 / 1042 » Computing Capabilities of Mediators |
221
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
144
click to vote
CCGRID
2005
IEEE
16 years 10 days ago
2005
IEEE
The ROMIO implementation of the MPI-IO standard provides a portable infrastructure for use on top of any number of different underlying storage targets. These different targets va...
138
click to vote
ICCSA
2005
Springer
16 years 6 days ago
2005
Springer
As the requirements on high-availability for multimedia intensified new applications increase the pressure for the higher bandwidth on wireless networks, just upgrading to the high...
198
click to vote
PERVASIVE
2005
Springer
16 years 5 days ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
172
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...