1005 search results - page 96 / 201 » A Language for Manipulating Arrays |
140
Voted
DBPL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
140
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
141
click to vote
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
129
Voted
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The modeling, design, and implementation of inter-organizational systems (IOS) is a challenging new problem. In contrast to previous systems, where components have clearl...
130
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...