Sciweavers

1701 search results - page 148 / 341
» Computer Science and State Machines
Sort
View
CSCW
2011
ACM
14 years 5 months ago
From ethnographic study to mixed reality: a remote collaborative troubleshooting system
In this paper we describe how we moved from ethnographic study to design and testing of a Mixed Reality (MR) system, supporting collaborative troubleshooting of office copiers and...
Jacki O'Neill, Stefania Castellani, Fréd&ea...
AMTA
2004
Springer
15 years 3 months ago
The Georgetown-IBM Experiment Demonstrated in January 1954
The public demonstration of a Russian-English machine translation system in New York in January 1954 – a collaboration of IBM and Georgetown University – caused a great deal of...
W. John Hutchins
98
Voted
USENIX
2004
14 years 11 months ago
Xen and the Art of Repeated Research
Xen is an x86 virtual machine monitor produced by the University of Cambridge Computer Laboratory and released under the GNU General Public License. Performance results comparing ...
Bryan Clark, Todd Deshane, Eli Dow, Stephen Evanch...
VMCAI
2005
Springer
15 years 3 months ago
On the Complexity of Error Explanation
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
Nirman Kumar, Viraj Kumar, Mahesh Viswanathan
92
Voted
SBACPAD
2005
IEEE
110views Hardware» more  SBACPAD 2005»
15 years 3 months ago
Portable checkpointing and communication for BSP applications on dynamic heterogeneous Grid environments
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...
Raphael Y. de Camargo, Fabio Kon, Alfredo Goldman