Formal Modeling of Mobile Middleware for Tuple Space Coordination over Multiple Heterogeneous Networks

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - Quality, Reliability, Security and Robustness in Heterogeneous Networks ◽

10.1007/978-3-642-37949-9_36 ◽

2013 ◽

pp. 415-430

Author(s):

Suddhasil De ◽

Diganta Goswami ◽

Sukumar Nandi

Keyword(s):

Heterogeneous Networks ◽

Formal Modeling ◽

Tuple Space ◽

Mobile Middleware

Download Full-text

Formalization of discovery and communication mechanisms of Tuple Space based Mobile Middleware for underlying unreliable infrastructure

2012 2nd IEEE International Conference on Parallel, Distributed and Grid Computing ◽

10.1109/pdgc.2012.6449885 ◽

2012 ◽

Author(s):

Suddhasil De ◽

Suchetana Chakraborty ◽

Diganta Goswami ◽

Sukumar Nandi

Keyword(s):

Tuple Space ◽

Mobile Middleware

Download Full-text

On performance improvement issues in unordered Tuple Space based Mobile Middleware

2010 Annual IEEE India Conference (INDICON) ◽

10.1109/indcon.2010.5712740 ◽

2010 ◽

Author(s):

Suddhasil De ◽

Sukumar Nandi ◽

Diganta Goswami

Keyword(s):

Performance Improvement ◽

Tuple Space ◽

Mobile Middleware

Download Full-text

Formalization of a Fully-Decoupled Reactive Tuple Space Model for Mobile Middleware

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering - Mobile Wireless Middleware, Operating Systems, and Applications ◽

10.1007/978-3-642-36660-4_6 ◽

2013 ◽

pp. 77-91 ◽

Author(s):

Suddhasil De ◽

Diganta Goswami ◽

Sukumar Nandi ◽

Suchetana Chakraborty

Keyword(s):

Tuple Space ◽

Space Model ◽

Mobile Middleware

Download Full-text

Consistent Coordination Decoupling in Tuple Space Based Mobile Middleware: Design and Formal Specifications

Distributed Computing and Internet Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36071-8_17 ◽

2013 ◽

pp. 220-231

Author(s):

Suddhasil De ◽

Diganta Goswami ◽

Sukumar Nandi

Keyword(s):

Formal Specifications ◽

Tuple Space ◽

Mobile Middleware

Download Full-text

Modeling an Enhanced Tuple Space Based Mobile Middleware in UNITY

2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications ◽

10.1109/trustcom.2012.205 ◽

2012 ◽

Author(s):

Suddhasil De ◽

Sukumar Nandi ◽

Diganta Goswami

Keyword(s):

Tuple Space ◽

Mobile Middleware

Download Full-text

A new tuple space structure for tuple space based mobile middleware platforms

2012 Annual IEEE India Conference (INDICON) ◽

10.1109/indcon.2012.6420708 ◽

2012 ◽

Author(s):

Suddhasil De ◽

Diganta Goswami ◽

Sukumar Nandi

Keyword(s):

Space Structure ◽

Tuple Space ◽

Mobile Middleware

Download Full-text

Supporting Tuple Space based Mobile Middleware over unreliable mobile infrastructures: Design and formal specifications

2012 IEEE International Conference on Advanced Networks and Telecommunciations Systems (ANTS) ◽

10.1109/ants.2012.6524241 ◽

2012 ◽

Author(s):

Suddhasil De ◽

Suchetana Chakraborty ◽

Sukumar Nandi ◽

Diganta Goswami

Keyword(s):

Formal Specifications ◽

Tuple Space ◽

Mobile Middleware

Download Full-text

Tuple space enhancements for mobile middleware

International Journal of Communication Networks and Distributed Systems ◽

10.1504/ijcnds.2014.060625 ◽

2014 ◽

Vol 12 (3) ◽

pp. 299 ◽

Author(s):

Suddhasil De ◽

Sukumar Nandi ◽

Diganta Goswami

Keyword(s):

Tuple Space ◽

Mobile Middleware

Download Full-text

Experiments and formal modeling of decision making

PsycEXTRA Dataset ◽

10.1037/e640112011-053 ◽

2005 ◽

Author(s):

George Wu

Keyword(s):

Decision Making ◽

Formal Modeling

Download Full-text

A Data Relaying Method for Heterogeneous Networks Using Device to Device Communications

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.137.1445 ◽

2017 ◽

Vol 137 (11) ◽

pp. 1445-1452

Author(s):

Katsuhiro Kato ◽

Masaki Bandai

Keyword(s):

Heterogeneous Networks ◽

Device To Device

Download Full-text