1398 search results - page 196 / 280 » Ensuring Properties of Interaction Systems |
147
click to vote
CORR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
233
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
164
click to vote
ROBOCOMM
2007
IEEE
16 years 17 days ago
2007
IEEE
Abstract—A major barrier to advancing modern wireless networking research is the lack of an effective wireless network simulation platform that simultaneously offers high fideli...
191
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
197
click to vote
SIGCOMM
2012
ACM
13 years 8 months ago
2012
ACM
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...