1636 search results - page 246 / 328 » Type-Theoretic Functional Semantics |
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
DATESO
2010
14 years 10 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
140
click to vote
HOST
2011
IEEE
13 years 11 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
145
click to vote
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Much research effort on Automatic Image Annotation
(AIA) has been focused on Generative Model, due to its
well formed theory and competitive performance as compared
with many we...
193
click to vote
POPL
2007
ACM
16 years 6 days ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...