2036 search results - page 371 / 408 » A generic type-and-effect system |
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
ICDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
As web-based transactions become an essential element of everyday corporate and commerce activities, it becomes increasingly important that the performance of web-based services b...
EUROSYS
2010
ACM
14 years 1 months ago
2010
ACM
Targeting the operating system (OS) kernels, kernel rootkits pose a formidable threat to computer systems and their users. Recent efforts have made significant progress in blocki...
CIDM
2009
IEEE
14 years 1 months ago
2009
IEEE
—This paper addresses two main challenges for clustering which require extensive human effort: selecting appropriate parameters for an arbitrary clustering algorithm and identify...
MSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...