Login / Signup
Amit Batajoo
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 8
Top Topics
Computing Platform
Petri Net
Model Checking
Cost Effective
Top Venues
GCCE
NaNA
J. Inf. Sci. Eng.
CoRR
</>
Publications
</>
Bishnu Prasad Gautam
,
Amit Batajoo
,
Norio Shiratori
A Proposal of JYAGUCHI Computing Platform to Realize ClouEdge (Cloud-Edge) and Serverless Architecture.
J. Inf. Sci. Eng.
40 (1) (2024)
Bishnu Prasad Gautam
,
Amit Batajoo
,
Norio Shiratori
A Proposal of ClouEdge (Cloud-Edge) Architecture by Using JYAGUCHI Computing Framework.
NaNA
(2022)
Bishnu Prasad Gautam
,
Amit Batajoo
,
Katsumi Wasaki
Fogging Jyaguchi Services in Tensai Gothalo.
CoRR
(2021)
Amit Batajoo
,
Yojiro Harie
,
Katsumi Wasaki
Implications of Formal Verification and Modeling Tools for Performing Operational Profile-based Testing of VR Tourism Systems Design.
GCCE
(2018)
Yojiro Harie
,
Yuta Mitsui
,
Kouhei Fujimori
,
Amit Batajoo
,
Katsumi Wasaki
HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool.
GCCE
(2017)
Bishnu Prasad Gautam
,
Amit Batajoo
,
Hiroyasu Asami
Cost Effective Accommodation Planning in a Trip by Using Accommodation Advisor Query (AA-Query) in STPF.
NaNA
(2017)
Bishnu Prasad Gautam
,
Katsumi Wasaki
,
Amit Batajoo
,
Suresh Shrestha
,
Kazuhiko Sato
Multi-master Replication of Enhanced Learning Assistant System in IoT Cluster.
AINA
(2016)
Bishnu Prasad Gautam
,
Hiroyasu Asami
,
Amit Batajoo
,
Tatsuya Fujisaki
Regional Revival through IoT Enabled Smart Tourism Process Framework (STPF): A Proposal.
SCIS&ISIS
(2016)