Sciweavers

2800 search results - page 343 / 560
» Fibrational Control Structures
Sort
View
ECLIPSE
2007
ACM
15 years 7 months ago
Porting a distributed meeting system to the Eclipse communication framework
eConference is a text-based conferencing tool that supports distributed teams in need for synchronous communication and structured discussion services. Other than offering communi...
Fabio Calefato, Filippo Lanubile, Mario Scalas
3DPVT
2004
IEEE
107views Visualization» more  3DPVT 2004»
15 years 7 months ago
An Easy Viewer for Out-of-Core Visualization of Huge Point-Sampled Models
In this paper, we propose a viewer for huge point-sampled models by combining out-of-core technologies with view-dependent level-of-detail (LOD) control. This viewer is designed o...
Fang Meng, Hongbin Zha
127
Voted
APWEB
2006
Springer
15 years 7 months ago
Efficient Dynamic Traffic Navigation with Hierarchical Aggregation Tree
Nowadays, the rapid advances in wireless communications, positioning techniques and mobile devices enable location based service such as dynamic traffic navigation. Yet, it is a ch...
Yun Bai, Yanyan Guo, Xiaofeng Meng, Tao Wan, Karin...
94
Voted
CSCW
2004
ACM
15 years 7 months ago
Leveraging social networks for information sharing
Saori is a computation infrastructure that enables users and enduser applications to leverage social networks to mediate information dissemination. Saori provides users with aware...
Jeremy Goecks, Elizabeth D. Mynatt
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 7 months ago
Programs with Lists Are Counter Automata
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Ra...