Sciweavers

7694 search results - page 765 / 1539
» An Implementation of an Applicative File System
Sort
View
KBSE
1998
IEEE
15 years 11 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
UIST
2009
ACM
16 years 2 months ago
PhotoelasticTouch: transparent rubbery tangible interface using an LCD and photoelasticity
PhotoelasticTouch is a novel tabletop system designed to intuitively facilitate touch-based interaction via real objects made from transparent elastic material. The system utilize...
Toshiki Sato, Haruko Mamiya, Hideki Koike, Kentaro...
MSS
2007
IEEE
111views Hardware» more  MSS 2007»
16 years 1 months ago
Enabling database-aware storage with OSD
The ANSI Object-based Storage Device (OSD) standard is a major step toward enabling explicit application­ awareness in storage systems behind a standard, fully­ interoperable in...
Aravindan Raghuveer, Steven W. Schlosser, Sami Ire...
IUI
2006
ACM
16 years 1 months ago
Improving question-answering with linking dialogues
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
Sudeep Gandhe, Andrew S. Gordon, David R. Traum
CLUSTER
2005
IEEE
16 years 1 months ago
Load Balancing using Grid-based Peer-to-Peer Parallel I/O
In the area of Grid computing, there is a growing need to process large amounts of data. To support this trend, we need to develop efficient parallel storage systems that can prov...
Yijian Wang, David R. Kaeli