Sciweavers

10633 search results - page 239 / 2127
» Relating Distributed Objects
Sort
View
MFCS
1998
Springer
15 years 6 months ago
Flow Logic for Imperative Objects
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
Flemming Nielson, Hanne Riis Nielson
ECEASST
2008
73views more  ECEASST 2008»
15 years 2 months ago
A Graph-Based Type Representation for Objects
Abstract: Subtyping and inheritance are two major issues in the research and development of object-oriented languages, which have been traditionally studied along the lines of type...
Cong-Cong Xing
CORR
2006
Springer
106views Education» more  CORR 2006»
15 years 2 months ago
The virtual reality framework for engineering objects
A framework for virtual reality of engineering objects has been developed. This framework may simulate different equipment related to virtual reality. Framework supports 6D dynami...
Petr R. Ivankov, Nikolay P. Ivankov
ICDCS
1998
IEEE
15 years 6 months ago
Structuring Remote Object Systems for Mobile Hosts with Intermittent Connectivity
In distributed object systems, remote method inattempts to abstract communication between di erent machines to the level of object method invocation. Link failure in such systems ...
Girish Welling, Maximilian Ott
FUZZIEEE
2007
IEEE
15 years 8 months ago
Metrics for Vague Spatial Objects Based on the Concept of Mass
Abstract— Many spatial phenomena exhibit vagueness. Representation of such phenomena requires vague objects. In previous work, we provided definitions for vague objects: vague p...
Arta Dilo, Rolf A. de By, Alfred Stein