4139 search results - page 426 / 828 » Designing and Implementing Combinator Languages |
234
click to vote
WOODPECKER
2001
15 years 9 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
185
click to vote
OTM
2005
Springer
16 years 1 months ago
2005
Springer
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...
190
click to vote
COOPIS
2004
IEEE
15 years 11 months ago
2004
IEEE
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...
189
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
214
click to vote
DSRT
2008
IEEE
16 years 2 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...