2911 search results - page 325 / 583 » A Theory of Expressiveness in Mechanisms |
PPPJ
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
124
click to vote
FCCM
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
115
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
FDL
2008
IEEE
15 years 8 months ago
2008
IEEE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
118
click to vote
HASE
2008
IEEE
15 years 8 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...