71. | Proceedings of the 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Luxembourg, Luxembourg, page 366-370.
Publisher: IEEE,
December
2016
ISBN: 978-1-5090-1445-3 |
70. | Proceedings of the 14th ACM Conference on Embedded Networked Sensor Systems (SenSys 2016), Stanford, CA, USA, page 1--2.
Publisher: ACM,
November
2016
ISBN: 978-1-4503-4263-6/16/11 |
69. | Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks Proc. of IEEE 35th Symposium on Reliable Distributed Systems, page 307--316.
IEEE
September
2016
|
68. | 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom), page 159--164.
Publisher: IEEE,
September
2016
ISBN: 978-1-5090-3370-6 |
67. |
Future Generation Computer Systems,
56:701-718
March
2016
ISSN: 0167-739X |
66. | Parallel Expanded Event Simulation of Tightly Coupled Systems
ACM Transactions on Modeling and Computer Simulation (TOMACS),
26(2):12:1--12:26
January
2016
DOI: 10.1145/2832909 |