3552 search results - page 432 / 711 » Proof theory in the abstract |
170
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
149
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
149
click to vote
ICCSA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper, we consider a nonlinear optimization problem with inequality constraints. The paper addresses the degenerate case when the active constraint gradients are ...
164
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Self-replicating structures in cellular automata have been extensively studied in the past as models of Artificial Life. However, CAs, unlike the biological cellular mod...
152
click to vote
PCM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper proposes a novel method to detect Furon’s asymmetric watermark by using a correlation detector that is mathematically tractable and simple. The performance o...