7529 search results - page 432 / 1506 » The Modula-3 Type System |
211
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...
160
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a framework that enables the use of traditional feature selection algorithms in a new context - for building a set of subsets of specified properties. During the course...
160
click to vote
SIGMOD
2001
ACM
16 years 7 months ago
2001
ACM
There is currently considerable interest in developing multimedia digital libraries. However, it has become clear that existing architectures for management systems do not support...
157
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
157
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...