Sciweavers

2253 search results - page 37 / 451
» Computing with Realizational Morphology
Sort
View
SIGSOFT
2010
ACM
15 years 1 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan
ICS
1999
Tsinghua U.
15 years 8 months ago
Realizing the performance potential of the virtual interface architecture
The Virtual Interface (VI) Architecture provides protected userlevel communication with high delivered bandwidth and low permessage latency, particularly for small messages. The V...
Evan Speight, Hazim Abdel-Shafi, John K. Bennett
SIGGRAPH
1996
ACM
15 years 8 months ago
Technologies for Augmented Reality Systems: Realizing Ultrasound-Guided Needle Biopsies
We present a real-time stereoscopic video-see-through augmented reality (AR) system applied to the medical procedure known as ultrasound-guided needle biopsy of the breast. The AR...
Andrei State, Mark A. Livingston, William F. Garre...
135
Voted
VC
2008
162views more  VC 2008»
15 years 3 months ago
Realization of Seurat's pointillism via non-photorealistic rendering
Photorealistic rendering is one of the oldest and most important research areas in computer graphics. More recently, the concept of nonphotorealistic rendering has been proposed as...
Chuan-Kai Yang, Hui-Lin Yang
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 10 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan