4987 search results - page 133 / 998 » Fuzzifying P Systems |
132
Voted
FUIN
2006
15 years 3 months ago
2006
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...
124
Voted
ICMCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Networked virtual environments are increasingly used for collaboration tasks and other interactive applications. While the graphics in such virtual worlds are usually three-dimens...
116
Voted
NOSSDAV
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose a simple and fully distributed mechanism for constructing and maintaining the overlay topology in mesh-based P2P-TV systems. Our algorithm optimizes the ...
137
click to vote
FMSD
2000
15 years 3 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
90
Voted
MOBILWARE
2009
ACM
15 years 10 months ago
2009
ACM
