1038 search results - page 18 / 208 » Towards A Peer-to-Peer Simulator |
EWC
2008
14 years 10 months ago
2008
104
click to vote
PERCOM
2010
ACM
14 years 7 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
CASE
2011
13 years 10 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
This work presents a set of cascade high gain observers for triangular nonlinear systems with delayed output measurement. A sufficient condition ensuring the exponential convergenc...
114
click to vote
HICSS
1996
IEEE
15 years 2 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...