Sciweavers

1690 search results - page 37 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
164
Voted
AMAST
2004
Springer
15 years 7 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
120
Voted
DMSN
2006
ACM
15 years 9 months ago
Transactional issues in sensor data management
This paper presents a novel research direction in the field of sensor data management. It concerns transactional support in heterogeneous large scale sensor systems. Besides well...
Levent Gürgen, Claudia Roncancio, Cyril Labb&...
SRDS
2000
IEEE
15 years 8 months ago
Optimal Implementation of the Weakest Failure Detector for Solving Consensus
The concept of unreliable failure detector was introduced by Chandra and Toueg [2] as a mechanism that provides information about process failures. Depending on the properties the...
Mikel Larrea, Antonio Fernández, Sergio Ar&...
123
Voted
KAIS
2000
86views more  KAIS 2000»
15 years 3 months ago
A Mathematical Foundation for Improved Reduct Generation in Information Systems
When data sets are analyzed, statistical pattern recognition is often used to find the information hidden in the data. Another approach to information discovery is data mining. Dat...
Janusz A. Starzyk, Dale E. Nelson, Kirk Sturtz
TCOM
2010
83views more  TCOM 2010»
14 years 10 months ago
Global and Fast Receiver Antenna Selection for MIMO Systems
Abstract--For a multiple-input multiple-output (MIMO) system with more antennas at the receiver than the transmitter, selecting the same number of receiver antennas as the number o...
Bu Hong Wang, Hon Tat Hui, Mook Seng Leong