Sciweavers

1121 search results - page 29 / 225
» Location-routing: Issues, models and methods
Sort
View
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
14 years 7 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
CSCW
2011
ACM
14 years 4 months ago
Peaks and persistence: modeling the shape of microblog conversations
A microblogged stream is delivered over time, providing an ongoing commentary of topics, trends, and issues. In this article, we present two methods of finding temporal topics wi...
David A. Shamma, Lyndon Kennedy, Elizabeth F. Chur...
SAC
2002
ACM
14 years 9 months ago
A modular approach to build structured event-based systems
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
Ludger Fiege, Gero Mühl, Felix C. Gärtne...
BMCBI
2008
124views more  BMCBI 2008»
14 years 9 months ago
A probe-treatment-reference (PTR) model for the analysis of oligonucleotide expression microarrays
Background: Microarray pre-processing usually consists of normalization and summarization. Normalization aims to remove non-biological variations across different arrays. The norm...
Huanying Ge, Chao Cheng, Lei M. Li
ICC
2007
IEEE
108views Communications» more  ICC 2007»
15 years 4 months ago
Subspace Methods for Network Resource Reservation Coding Processes
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...
Alexandru Murgu