740 search results - page 141 / 148 » A Spatial Logic for Concurrency |
108
click to vote
EWSN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we propose and evaluate RIDA, a novel informationdriven architecture for distributed data compression in a sensor network, allowing it to conserve energy a...
FUZZY
1997
Springer
15 years 3 months ago
1997
Springer
Today many kinds of postprocessing are used in digital TV receivers or multimedia terminals for video signals to enhance the picture quality. To achieve this the properties of hum...
123
click to vote
ICFP
2010
ACM
15 years 22 days ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
132
Voted
EUSFLAT
2009
14 years 9 months ago
2009
Besides the problem of searching for effective methods for extracting knowledge from large databases (KDD) there are some additional problems with handling ecological data, namely ...
86
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...