1307 search results - page 152 / 262 » Follow the intellectual property |
117
click to vote
COSIT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present results from a series of experiments, where relevant factors for the use of path prepositions were examined. We were especially interested in the concepts behi...
127
click to vote
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
123
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
123
Voted
MFCS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We show how duality properties and geometric considerations are used in studies related to virtual path layouts of ATM networks. We concentrate on the one-to-many problem...
NETWORKING
2010
15 years 3 months ago
2010
We carry out a longitudinal study of evolution of small-time scaling behavior of Internet traffic on the MAWI dataset spanning 8 years. MAWI dataset contains a number of anomalies ...