106 search results - page 8 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
ICNP
1998
IEEE
15 years 3 months ago
1998
IEEE
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
69
Voted
ARTS
1997
Springer
15 years 2 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
132
Voted
MICCAI
2000
Springer
15 years 2 months ago
2000
Springer
We present a novel approach to statistical shape analysis of anatomical structures based on small sample size learning techniques. The high complexity of shape models used in medic...
CSC
2008
15 years 9 days ago
2008
Complex network models such as Kauffman's NK model have been shown to have interesting phase transitional properties as the connectivity is varied. Conventional network and g...
99
Voted
USS
2010
14 years 8 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...