Sciweavers

Share
ESIAT
2009
IEEE
8 years 8 months ago
Design of Distributed Architecture Based on Java Remote Method Invocation Technology
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
Delin Hou, Huosong Xia
CORR
2010
Springer
63views Education» more  CORR 2010»
8 years 10 months ago
Simplified Distributed Programming with Micro Objects
Developing large-scale distributed applications can be a daunting task. One of the problems that application developers are confronted with is the distribution of data, processes, ...
Jan-Mark S. Wams, Maarten van Steen
ENTCS
2006
135views more  ENTCS 2006»
8 years 10 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
DBSEC
1996
125views Database» more  DBSEC 1996»
8 years 11 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
DAIS
2001
8 years 11 months ago
Design and Evaluation of a QoS Provisioning Service
: Middleware provides distributed objects with a software infrastructure that offers a set of well-known distribution transparencies. These transparencies enable the rapid
Aart van Halteren, Gina Fábián, E. G...
FMOODS
2007
8 years 11 months ago
A Mechanized Model of the Theory of Objects
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
Ludovic Henrio, Florian Kammüller
EDO
2000
Springer
9 years 1 months ago
The Importance of Resource Management in Engineering Distributed Objects
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...
Hector A. Duran-Limon, Gordon S. Blair
ECOOP
1993
Springer
9 years 2 months ago
A Timed Calculus for Distributed Objects with Clocks
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
Ichiro Satoh, Mario Tokoro
FTDCS
1999
IEEE
9 years 2 months ago
From Remote Objects to Physically Distributed Objects
Present-day object-oriented middleware provides little support for the distribution, replication and caching of the state of a distributed object. This makes these platforms unsui...
Arno Bakker, Maarten van Steen, Andrew S. Tanenbau...
FIDJI
2003
Springer
9 years 3 months ago
Model Generation for Distributed Java Programs
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
Rabéa Boulifa, Eric Madelaine
books