1054 search results - page 46 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
CD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. JBoss is an extensible Java application server that affords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
103
click to vote
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
SPEECH
1998
14 years 9 months ago
1998
This paper presents a stochastic model of intonation contours for use in text-to-speech s. The model has two modules, a linguistic module that generates abstract prosodic rom text...