Sciweavers

2827 search results - page 224 / 566
» CCured in the real world
Sort
View
ENTCS
2007
88views more  ENTCS 2007»
15 years 6 months ago
Behavioural Types for Service Integration: Achievements and Challenges
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
JUCS
2007
174views more  JUCS 2007»
15 years 6 months ago
Real-time Human Proxy: An Avatar-based Communication System
Abstract: We propose a concept of real-time human proxy for avatar-based communication systems, which virtualizes a human in the real world in real-time and which lets the virtuali...
Daisaku Arita, Rin-ichiro Taniguchi
CW
2008
IEEE
16 years 1 months ago
Taxonomy and Implementation of Redirection Techniques for Ubiquitous Passive Haptic Feedback
Traveling through immersive virtual environments (IVEs) by means of real walking is an important activity to increase naturalness of VR-based interaction. However, the size of the...
Frank Steinicke, Gerd Bruder, Luv Kohli, Jason Jer...
JCDL
2004
ACM
198views Education» more  JCDL 2004»
16 years 1 days ago
Finding authoritative people from the web
Today’s web is so huge and diverse that it arguably reflects the real world. For this reason, searching the web is a promising approach to find things in the real world. This ...
Masanori Harada, Shin-ya Sato, Kazuhiro Kazama
AAAI
2007
15 years 9 months ago
Temporal and Information Flow Based Event Detection from Social Text Streams
Recently, social text streams (e.g., blogs, web forums, and emails) have become ubiquitous with the evolution of the web. In some sense, social text streams are sensors of the rea...
Qiankun Zhao, Prasenjit Mitra, Bi Chen