1115 search results - page 61 / 223 » An Abstract Look at Realizability |
125
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
167
click to vote
AGP
2010
IEEE
15 years 9 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
105
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
120
click to vote
ECAI
1994
Springer
15 years 8 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
112
click to vote
AAAI
2007
15 years 6 months ago
2007
Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refi...