Sciweavers

4096 search results - page 463 / 820
» An Object Model for Interoperable Systems
Sort
View
WWW
2005
ACM
16 years 7 months ago
Design for verification for asynchronously communicating Web services
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Aysu Betin-Can, Tevfik Bultan, Xiang Fu
VLDB
2008
ACM
170views Database» more  VLDB 2008»
16 years 7 months ago
A layered framework supporting personal information integration and application design for the semantic desktop
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...
Isabel F. Cruz, Huiyong Xiao
FAST
2009
15 years 4 months ago
Provenance as Data Mining: Combining File System Metadata with Content Analysis
Provenance describes how an object came to be in its present state. Thus, it describes the evolution of the object over time. Prior work on provenance has focussed on databases an...
Vinay Deolalikar, Hernan Laffitte
DNA
2011
Springer
227views Bioinformatics» more  DNA 2011»
14 years 6 months ago
Cooperative Assembly Systems
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...
Vincent Danos, Heinz Koeppl, John Wilson-Kanamori
VR
2008
IEEE
233views Virtual Reality» more  VR 2008»
15 years 5 months ago
Cutting, Deforming and Painting of 3D meshes in a Two Handed Viso-haptic VR System
We describe M4, the multi-modal mesh manipulation system, which aims to provide a more intuitive desktop interface for freeform manipulation of 3D meshes. The system combines inte...
Adam Faeth, Michael Oren, Jonathan Sheller, Sean G...