1945 search results - page 222 / 389 » Pursuit-Evasion in Models of Complex Networks |
167
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
The Windows Vista personal firewall provides its diverse users with a basic interface that hides many operational details. However, concealing the impact of network context on th...
174
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
189
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
While software is becoming decomposed in more and more finegrained entities, the interactions amongst those become of major importance. While methodologies for building such compon...
171
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
186
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
An important component of language acquisition and cognitive learning is gaze imitation. Infants as young as one year of age can follow the gaze of an adult to determine the objec...