620 search results - page 92 / 124 » Algorithms and computations on cellular automata |
173
click to vote
SIGCOMM
2006
ACM
15 years 6 months ago
2006
ACM
There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most...
93
Voted
FORTE
2007
15 years 2 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
87
Voted
ICNC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
123
click to vote
SOFSEM
2012
Springer
13 years 8 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
108
Voted
RECOMB
2004
Springer
16 years 26 days ago
2004
Springer
Protein-protein interactions, which form the basis for most cellular processes, result in the formation of protein interfaces. Believing that the local shape of proteins is crucia...