950 search results - page 32 / 190 » Constraint Based Resilience Analysis |
100
click to vote
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
— Key management has long been a challenging problem in wireless Distributed Sensor Networks (DSNs) due to their high security requirements and strict resource constraints. Recen...
89
Voted
TACAS
1999
Springer
15 years 1 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
IJCNN
2000
IEEE
15 years 1 months ago
2000
IEEE
In our recent work, a general method called the stable state analysis technique was developed to determine constraints that the weights in the Hopfield energy function must satisf...
ICRA
2003
IEEE
15 years 2 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
93
Voted
CIC
2006
14 years 11 months ago
2006
A shared secret, conference key, must be established among members to securely communicate among them. The Diffie-Hellman is often used for the conference key establishment. In a ...