29908 search results - page 397 / 5982 » On the complexity of communication complexity |
180
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Monitoring applications play an increasingly important role in many domains. They detect events in monitored systems and take actions such as invoke a program or notify an adminis...
209
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
167
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
185
click to vote
EEMMAS
2007
Springer
16 years 1 months ago
2007
Springer
Although there is a huge amount of work and valuable proposals about agent oriented software engineering, it seems that the paradigm has not been fully accepted yet by software ind...
207
Voted
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...