1894 search results - page 145 / 379 » A TLA Proof System |
138
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
141
click to vote
CIIA
2009
15 years 5 months ago
2009
Because biometrics-based authentication offers several advantages face to other authentication methods, it is important that such systems be designed to withstand attacks. Reliabil...
124
click to vote
IJSYSC
2006
15 years 3 months ago
2006
: A backlash compensator is designed for nonlinear systems using the fuzzy logic. The classification property of fuzzy logic systems makes them a natural candidate for the rejectio...
142
click to vote
NC
2008
15 years 3 months ago
2008
We consider spiking neural P systems with rules allowed to introduce zero, one, or more spikes at the same time. The motivation comes both from constructing small universal systems...
117
click to vote
SIAMCO
2008
15 years 3 months ago
2008
We give a new sufficient condition on the boundary conditions for the exponential stability of one-dimensional nonlinear hyperbolic systems on a bounded interval. Our proof relies ...