4814 search results - page 735 / 963 » Combining abstract interpreters |
ACIVS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Even if lots of object invariant descriptors have been proposed in the literature, putting them into practice in order to obtain a robust system face to several perturbat...
ACIVS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Image processing is widely used in many applications, including medical imaging, industrial manufacturing and security systems. In these applications, the size of the ima...
AIIA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
AMR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. In this paper we study interfaces for image retrieval systems. Current image retrieval interfaces are limited to providing query facilities and result presentation. The u...
APN
2005
Springer
14 years 4 months ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...