4401 search results - page 576 / 881 » Computing with Default Logic |
171
click to vote
RTA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
168
click to vote
TCC
2005
Springer
16 years 6 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
176
click to vote
IUI
2004
ACM
16 years 4 days ago
2004
ACM
Re-engineering transforms a final user interface into a logical representation that is manipulable enough to allow forward engineering to port a UI from one computing platform to ...
185
click to vote
PASTE
2004
ACM
16 years 4 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
173
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...