1511 search results - page 146 / 303 » Relational Parametricity for Computational Effects |
153
click to vote
AINA
2008
IEEE
16 years 28 days ago
2008
IEEE
Reflecting the rapid growth of information technology, the configuration of software applications, such as word processors and spreadsheets, is both sophisticated and complicate...
175
click to vote
PAM
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Techniques for authenticating BGP protocol objects entail the inspection of additional information in the form of authentication credentials that can be used to validate ...
175
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
Clusters are now composed of non-uniform nodes with different CPUs, disks or network cards so that customers can adapt the cluster configuration to the changing technologies and t...
166
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Agent-based application development must face the issues related to the interactions among agents. In fact, their sociality allows decomposing large applications into collaboratin...
148
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
—Chemical–mechanical polishing (CMP) is an enabling technique used in deep-submicrometer VLSI manufacturing to achieve long range oxide planarization. Post-CMP oxide topography...