933 search results - page 109 / 187 » Multi-paradigm Declarative Languages |
126
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
135
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
149
click to vote
MKWI
2008
15 years 5 months ago
2008
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
141
click to vote
IEE
2008
15 years 4 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
131
click to vote
JSS
2008
15 years 4 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...