1567 search results - page 13 / 314 » A Mechanized Model of the Theory of Objects |
151
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and...
129
click to vote
IMR
2004
Springer
15 years 11 months ago
2004
Springer
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
162
click to vote
DNIS
2005
Springer
15 years 11 months ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
149
click to vote
DEXA
2007
Springer
16 years 9 days ago
2007
Springer
With the Object-Reference (ORef) approach, the traditional object-oriented model is extended with references to act as a canonical model. Our ORef model facilitates the storage of ...
160
click to vote
FUIN
2002
15 years 6 months ago
2002
This paper presents a new model of computation that differs from prior models in that it emphasizes data over flow control, has no named variables and has an object-oriented flavo...