7049 search results - page 331 / 1410 » Data Abstraction for CSP-OZ |
172
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
199
click to vote
IJON
2006
15 years 6 months ago
2006
ional models of cortical associative memory often take a top-down approach. We have previously described such an abstract model with a hypercolumnar structure. Here we explore a s...
192
click to vote
FQAS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...
179
click to vote
SOCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Current technologies aimed at supporting processes – whether it is a business process or a learning process – are usually based on using a dedicated set of metadata to describ...
172
click to vote
ICTCS
2007
Springer
16 years 27 days ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...