1941 search results - page 355 / 389 » Reasoning about Computations Using Two-Levels of Logic |
SI3D
1997
ACM
15 years 4 months ago
1997
ACM
We investigate the synergy of the two hands for virtual object manipulation. We report results from an experiment which suggest that the two hands together provide sufficient per...
HPCA
2008
IEEE
16 years 6 days ago
2008
IEEE
A conceptually appealing approach to supporting a broad range of workloads is a system comprising many small cores that can be fused, on demand, into larger cores. We demonstrate ...
109
click to vote
ECOOPW
1997
Springer
15 years 4 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
GIS
2002
ACM
14 years 11 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
111
click to vote
SPAA
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...