13383 search results - page 2528 / 2677 » Abstractions from proofs |
LOPSTR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
LOPSTR
2005
Springer
14 years 3 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
MADNES
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper contains the summary of a panel on authentication in constrained environments held during the Secure MADNES’05 Workshop. These were transcribed from hand-wri...
MLMI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The AMI Meeting Corpus is a multi-modal data set consisting of 100 hours of meeting recordings. It is being created in the context of a project that is developing meeting...
MMMACNS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...