6530 search results - page 421 / 1306 » Application Integration |
191
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
200
click to vote
MUE
2007
IEEE
16 years 1 months ago
2007
IEEE
RFID technology has been applied to a number of applications. In [5], a protocol was described how to apply RFID to currency to provide integrity (e.g. reduce counterfeiting) whil...
200
click to vote
ISSAC
2001
Springer
15 years 11 months ago
2001
Springer
The multiple Barnes function, defined as a generalization of the Euler gamma function, is used in many applications of pure and applied mathematics and theoretical physics. This pa...
196
click to vote
ACL
2010
15 years 4 months ago
2010
A characterization of the expressive power of synchronous tree-adjoining grammars (STAGs) in terms of tree transducers (or equivalently, synchronous tree substitution grammars) is...
168
click to vote
MOC
2011
14 years 9 months ago
2011
Abstract. This article improves the estimate of the size of the definite integral of S(t), the argument of the Riemann zeta-function. The primary application of this improvement i...