Sciweavers

1419 search results - page 142 / 284
» group 2010
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 4 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
INFOCOM
2010
IEEE
15 years 4 months ago
Counting RFID Tags Efficiently and Anonymously
Radio Frequency IDentification (RFID) technology has attracted much attention due to its variety of applications, e.g., inventory control and object tracking. One important problem...
Hao Han, Bo Sheng, Chiu Chiang Tan, Qun Li, Weizhe...
MICCAI
2010
Springer
15 years 4 months ago
Joint Generative Model for fMRI/DWI and Its Application to Population Studies
Abstract. We propose a novel probabilistic framework to merge information from DWI tractography and resting-state fMRI correlations. In particular, we model the interaction of late...
Archana Venkataraman, Yogesh Rathi, Marek Kubicki,...
OTM
2010
Springer
15 years 4 months ago
Knowledge Representation with Autonomic Ontologies
The important role given to domain ontologies for knowledge representation implies increasing need for development and maintenance of them. However, we have a scarcity of tools sup...
Stainam Nogueira Brandão, Jonice Oliveira, ...
PETRA
2010
ACM
15 years 4 months ago
The security and privacy implications of using social networks to deliver healthcare
Healthcare technologies have tended to focus on electronic health records and devices (e.g., devices within the home for patients or handheld devices for nurses and physicians), a...
Carrie Gates, Matt Bishop