4353 search results - page 144 / 871 » Expressiveness of Process Algebras |
121
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In our previous work (`An Algebraic Watchdog for Wireless Network Coding'), we proposed a new scheme in which nodes can detect malicious behaviors probabilistically, police th...
141
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
157
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: A critical step in processing oligonucleotide microarray data is combining the information in multiple probes to produce a single number that best captures the express...
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
130
click to vote
SIGMOD
1996
ACM
15 years 8 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...