Sciweavers

3341 search results - page 514 / 669
» A Communication Virtual Machine
Sort
View
ACTA
2010
104views more  ACTA 2010»
13 years 9 months ago
Reachability results for timed automata with unbounded data structures
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
CORR
2010
Springer
131views Education» more  CORR 2010»
13 years 9 months ago
Detecting Botnets Through Log Correlation
Botnets, which consist of thousands of compromised machines, can cause significant threats to other systems by launching Distributed Denial of Service (DDoS) attacks, keylogging, a...
Yousof Al-Hammadi, Uwe Aickelin
JAIR
2006
128views more  JAIR 2006»
13 years 9 months ago
Cognitive Principles in Robust Multimodal Interpretation
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
Joyce Yue Chai, Zahar Prasov, Shaolin Qu
TPDS
2008
76views more  TPDS 2008»
13 years 9 months ago
How to Choose a Timing Model
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
Idit Keidar, Alexander Shraer
TSP
2008
135views more  TSP 2008»
13 years 9 months ago
Nonlinear Channel Equalization With Gaussian Processes for Regression
We propose Gaussian processes for regression as a novel nonlinear equalizer for digital communications receivers. GPR's main advantage, compared to previous nonlinear estimat...
Fernando Pérez-Cruz, Juan José Muril...