3634 search results - page 426 / 727 » The Field Representation Language |
154
click to vote
BTW
2007
Springer
16 years 24 days ago
2007
Springer
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...
167
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
181
click to vote
KI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
164
click to vote
MICAI
2007
Springer
16 years 22 days ago
2007
Springer
Previous work on context-specific independence in Bayesian networks is driven by a common goal, namely to represent the conditional probability tables in a most compact way. In th...
156
click to vote
CSFW
2006
IEEE
16 years 20 days ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...