Sciweavers

1783 search results - page 297 / 357
» Provenance and Data Synchronization
Sort
View
140
Voted
LICS
2005
IEEE
15 years 9 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
100
Voted
SBACPAD
2005
IEEE
112views Hardware» more  SBACPAD 2005»
15 years 9 months ago
Cooperation of Neighboring PEs in Clustered Architectures
Clustered architectures which intend to process data within a localized PE are one of the approaches to increase the performance under the difficulties of the wire delay problems...
Yukinori Sato, Ken-ichi Suzuki, Tadao Nakamura
VRML
2005
ACM
15 years 9 months ago
Location-aware visualization of VRML models in GPS-based mobile guides
In this paper, we present LAMP3D, a system for the locationaware presentation of VRML content on mobile devices. We explore the application of LAMP3D in tourist mobile guides: the...
Stefano Burigat, Luca Chittaro
186
Voted
MADNES
2005
Springer
15 years 9 months ago
ARMS: An Authenticated Routing Message in Sensor Networks
In wireless sensor networks, a sensor node broadcasts its data (such as routing information, beacon messages or meta-data) to all its neighbors, which is called local broadcast. A ...
Suk-Bok Lee, Yoon-Hwa Choi
129
Voted
CHI
2004
ACM
15 years 9 months ago
Text analysis as a tool for analyzing conversation in online support groups
In this paper we describe a software tool that allows investigators to make comparisons across different online forums and media by analyzing word counts in userspecified categori...
Adam D. I. Kramer, Susan R. Fussell, Leslie D. Set...