3733 search results - page 534 / 747 » Logics of communication and change |
176
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
As microarchitectural and system complexity grows, comprehending system behavior becomes increasingly difficult, and often requires obtaining and sifting through voluminous event ...
155
click to vote
EDCC
2008
Springer
15 years 8 months ago
2008
Springer
We present the design, correctness, and analysis of SONDe, a simple fully decentralized object deployment algorithm for highly requested systems. Given an object (service or data)...
159
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
With the emergence of wireless sensor networks, the issues of event recognition and processing have been partially shifted into the embedded domain. New processing capabilities on...
214
click to vote
FMOODS
2007
15 years 8 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
174
click to vote
CDES
2006
15 years 8 months ago
2006
Abstract-- Digital signal processing (DSP) is used to perform filtering, decimation and down conversion in common communications systems, like in oversampling analog to digital con...