7766 search results - page 288 / 1554 » Testing Nondeterminate Systems |
223
click to vote
ICCCI
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we introduce a new formalism to represent multi-agent systems where resources can be exchanged among different agents by maximizing the utility of the agents conformi...
189
click to vote
WSC
1998
15 years 8 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
159
click to vote
SCL
2008
15 years 6 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
142
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
186
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...