Sciweavers

2282 search results - page 323 / 457
» Active property checking
Sort
View
ACSD
2008
IEEE
127views Hardware» more  ACSD 2008»
14 years 4 months ago
On the interplay between fault handling and request-response service invocations
Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gian...
ICRA
2008
IEEE
144views Robotics» more  ICRA 2008»
14 years 4 months ago
Path guidance control for a safer large scale dissipative haptic display
—The properties of dissipative haptic displays allow larger workspaces that permit a whole body interaction useful for sports, rehabilitation, and large-scale object design appli...
Brian Dellon, Yoky Matsuoka
C5
2007
IEEE
14 years 4 months ago
Syncing Croquet with the Real World
3D virtual environments like Croquet need to be attractive in order to be visited and used. Their attractiveness depends on the level of vitality that the user is able to experien...
Grit Schuster, Christine Strothotte, Carola Zwick
ENC
2007
IEEE
14 years 4 months ago
fMRI Brain Image Retrieval Based on ICA Components
This manuscript proposes a retrieval system for fMRI brain images. Our goal is to find a similaritymetric to enable us to support queries for “similar tasks” for retrieval on...
Bing Bai, Paul B. Kantor, Ali Shokoufandeh, Debora...
ICDE
2007
IEEE
155views Database» more  ICDE 2007»
14 years 4 months ago
Atomicity for P2P based XML Repositories
Over the years, the notion of transactions has become synonymous with providing fault-tolerance, reliability and robustness to database systems. However, challenges arise when we ...
Debmalya Biswas, Il-Gon Kim