1638 search results - page 239 / 328 » Properties of input-consuming derivations |
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
FOSSACS
2003
Springer
15 years 3 months ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
HYBRID
2010
Springer
15 years 3 months ago
2010
Springer
Exponential stability of switched linear systems under both arbitrary and proper switching is studied through two suitably defined families of functions called the strong and the...
DEXAW
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper, we focus on the problem of integrating heterogeneous XML datasources. We follow a semantic approach to information sharing and integration, and we present a discipl...