2028 search results - page 118 / 406 » Deriving Relation Keys from XML Keys |
246
click to vote
TACAS
2004
Springer
15 years 11 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...
141
click to vote
AAECC
2009
Springer
15 years 10 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...
134
click to vote
CONCUR
2010
Springer
15 years 7 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...
137
click to vote
JERIC
2006
15 years 6 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...
180
click to vote
PE
2008
Springer
15 years 6 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 ...