Sciweavers

1497 search results - page 73 / 300
» A Computational Model for Message Passing
Sort
View
ENTCS
2006
135views more  ENTCS 2006»
13 years 9 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
DSRT
2005
IEEE
14 years 2 months ago
Modeling Real-Time Distributed Simulation Message Flow in an Open Network
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...
Dennis M. Moen, J. Mark Pullen
NETGAMES
2003
ACM
14 years 2 months ago
A fair message exchange framework for distributed multi-player games
—This paper presents a framework for message delivery in real-time multi-player distributed interactive games that use the client-server model. Based on this framework, we propos...
Katherine Guo, Sarit Mukherjee, Sampath Rangarajan...
MA
2000
Springer
135views Communications» more  MA 2000»
14 years 25 days ago
Principles of Mobile Maude
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
Francisco Durán, Steven Eker, Patrick Linco...
FM
1994
Springer
104views Formal Methods» more  FM 1994»
14 years 1 months ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Tom Mens, Kim Mens, Patrick Steyaert