Sciweavers

6031 search results - page 868 / 1207
» Communicating Transaction Processes
Sort
View
117
Voted
PARLE
1989
15 years 9 months ago
The Expressive Power of Simple Parallelism
We explore an algebraic language for networks consisting of a xed number of reactive units, communicating synchronously over a xed linking structure. The language has only two ope...
Joachim Parrow
CHINZ
2007
ACM
15 years 9 months ago
Users dealing with spam and spam filters: some observations and recommendations
The email communication system is threatened by unsolicited commercial email aka spam. In response, spam filters have been deployed widely to help reduce the amount of spam users ...
Christopher Lueg, Sam Martin
157
Voted
DEBS
2010
ACM
15 years 9 months ago
Reliable complex event detection for pervasive computing
Complex event processing for pervasive computing must deal with various sources of error. In this paper, we focus on improving complex event detector handling of several types of ...
Dan O'Keeffe, Jean Bacon
ICASSP
2007
IEEE
15 years 9 months ago
Acoustic Echo Cancellation for Surround Sound using Perceptually Motivated Convergence Enhancement
Acoustic Echo Cancellation (AEC) has become an essential and wellknown enabling technology for hands-free communication and human-machine interfaces. AEC for two or more reproduct...
Jürgen Herre, Herbert Buchner, Walter Kellerm...
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 9 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta