The General Inter-Orb Protocol (GIOP) is a key component of the OMG's Common Object Request Broker Architecture (CORBA) speciication. GIOP speciies a standard protocol that enables interoperability between ORBs from diierent vendors. This paper presents the formal modeling and validation of the GIOP protocol using the Promela/Spin package. We discuss a Promela model of a GIOP system which inclu...

ion with a boolean method isCacheHit(. . . ) that takes as argument a method identifier. The user has to provide an appropriate implementation of the CacheStrategy for the target processor. The UML class diagram in Figure 2 shows two concrete implementations, CacheJOP and CacheX. After consulting the configured CacheStrategy, the default implementation of EnterReturnProfiler invokes the CycleEs...

Journal of Ayurveda Medical Sciences,2019,4,2,488-493.DOI:10.5530/jams.2019.4.8Published:June 2021Type:Review ArticleAuthors:Bhavana Mawar, Ramakant Yadava, and Raja Ram Mahto Author(s) affiliations:Bhavana Mawar*, Department Kayachikitsa, All India Institute Ayurveda, Sarita Vihar, New Delhi - 110076, INDIA. Abstract:The COVID-19 pandemic is a world challenge as the cases are increasing every ...

Disconnected MANETs show a changing topology and a fragmentation in distinct communication islands. In such networks, service discovery and invocation rely preferably on protocols that can support connectivity disruptions such as opportunistic protocols based on the store, carry, and forward principle. In this paper we present a middleware platform for geolocated services in disconnected MANETs...

This paper investigates the design and implementation of mobile computations in Java. We discuss various issues encountered while building a Java library that allows active objects to migrate transparently from site to site, while still being able to communicate with each other. Several optimizations are introduced, and a set of benchmarks provides valuable figures about the cost of migration i...