Volume 21; Issue 1

5

Contagion of Evacuation Decision Making on Real Map

Year:
2016
Language:
english
File:
PDF, 1.87 MB
english, 2016
6

Dependable Traffic Control Strategies for Urban and Freeway Networks

Year:
2016
Language:
english
File:
PDF, 2.69 MB
english, 2016
7

Bioinspired Security Analysis of Wireless Protocols

Year:
2016
Language:
english
File:
PDF, 1.52 MB
english, 2016
9

Algebraically Autonomic Computing

Year:
2016
Language:
english
File:
PDF, 178 KB
english, 2016
10

Some Universal Constructions of Autonomic Systems

Year:
2016
Language:
english
File:
PDF, 841 KB
english, 2016
13

Biometric Inspired Mobile Network Authentication and Protocol Validation

Year:
2016
Language:
english
File:
PDF, 651 KB
english, 2016
16

SMT-Based Symbolic Encoding and Formal Analysis of HML Models

Year:
2016
Language:
english
File:
PDF, 3.21 MB
english, 2016
18

Nature of Computation and Communication

Year:
2016
Language:
english
File:
PDF, 201 KB
english, 2016