7529 search results - page 316 / 1506 » The Modula-3 Type System |
191
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Grid Computing has made substantial advances in the past decade; these are primarily due to the adoption of standardized Grid middleware. However Grid computing has not yet become...
155
click to vote
JIIS
2007
15 years 6 months ago
2007
An information ecology provides a conceptual framework to consider data, the creation of knowledge, and the flow of information within a multidimensional context. This paper, repor...
302
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
170
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Many software systems are developed with configurable functionality, and for multiple hardware platforms and operating systems. This can lead to thousands of possible configuratio...
187
click to vote
IWMMDBMS
1998
15 years 8 months ago
1998
Most applications that access large data objects do so through file systems, but file systems provide an incomplete solution, as they maintain insufficient metadata and do not pro...