Sciweavers

1067 search results - page 30 / 214
» A Distributed Object Model for the Java System
Sort
View
ECOOP
2003
Springer
15 years 7 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...
IPC
2007
IEEE
15 years 8 months ago
Intelligent Search Mechanism Based on Neuro-Fuzzy System for the Distributed Object Groups
Current research in distributed systems focuses on object group models which are designed for scalable systems and provide accessible objects to the entire group. However, dynamic...
Romeo Mark A. Mateo, Bobby D. Gerardo, Jaewan Lee
WSC
2000
15 years 3 months ago
Java engine for UML based hybrid state machines
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
Andrei Borshchev, Yuri B. Kolesov, Yuri B. Seniche...
JLP
2007
95views more  JLP 2007»
15 years 1 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
126
Voted
ECOOP
1999
Springer
15 years 6 months ago
Providing Persistent Objects in Distributed Systems
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul ...