Sciweavers

857 search results - page 99 / 172
» Interactive Consistency in Quasi-Asynchronous Systems
Sort
View
SIAMCO
2010
119views more  SIAMCO 2010»
13 years 2 months ago
Feedback Stabilization of a Fluid-Structure Model
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
Jean-Pierre Raymond
EMSOFT
2006
Springer
13 years 11 months ago
Incremental schedulability analysis of hierarchical real-time components
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup ...
CHI
2006
ACM
14 years 8 months ago
Attention funnel: omnidirectional 3D cursor for mobile augmented reality platforms
The attention funnel is a general purpose AR interface technique that interactively guides the attention of a user to any object, person, or place in space. The technique utilizes...
Frank Biocca, Arthur Tang, Charles B. Owen, Fan Xi...
3DIM
2001
IEEE
13 years 11 months ago
Automatic 3D Modeling Using Range Images Obtained from Unknown Viewpoints
In this paper, we present a method for automatically creating a 3D model of a scene from a set of range images obtained from unknown viewpoints. Existing 3D modeling approaches re...
Daniel F. Huber
WWW
2005
ACM
14 years 8 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