194 search results - page 28 / 39 » A Group Structuring Mechanism for a Distributed Object-Orien... |
SAC
2000
ACM
15 years 2 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
EUROPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...