2028 search results - page 118 / 406 » Deriving Relation Keys from XML Keys |
217
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
116
click to vote
AAECC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Commutative semifields in odd characteristic can be equivalently described by planar functions (also known as PN functions). We describe a method to construct a semifield...
109
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...
105
click to vote
JERIC
2006
15 years 4 months ago
2006
: This paper discusses teaching the application of technical idea through non-technical discussions, especially the use of puzzles to engage students. After discussing the need for...
145
click to vote
PE
2008
Springer
15 years 4 months ago
2008
Springer
We present the transient analysis of the system content in a two-class discrete-time MX /D/1 priority queue. In particular, we derive an expression for the generating function of ...