1497 search results - page 176 / 300 » Extended static checking |
118
click to vote
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
112
Voted
CSCLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
56
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
We present in this work a wide spectrum of results on analyzing the behavior of parallel heuristics for solving optimization problems. We focus on evolutionary algorithms as well ...
84
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
98
Voted
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...