844 search results - page 44 / 169 » Further results on concordance relations |
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we introduce a numerical procedure for performing dynamic data driven simulations (DDDAS). The main ingredient of our simulation is the multiscale interpola...
IWDW
2004
Springer
15 years 3 months ago
2004
Springer
: Invertible authentication techniques have been used in some special applications (such as medical or military) where original data can be recovered after authenticated. In this p...
TCC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
111
click to vote
ESAW
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
CBSE
2009
Springer
15 years 2 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...