4212 search results - page 469 / 843 » Rights Expression Languages |
186
click to vote
KI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
164
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
Adaptive Programming allows developers to write structureshy programs. However, in Adaptive Programming, recursive computations are known to require a good deal of boiler plate co...
175
click to vote
PADL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
192
click to vote
POLICY
2007
Springer
16 years 26 days ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
194
click to vote
TGC
2007
Springer
16 years 26 days ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...