4636 search results - page 388 / 928 » Modelling and Validation with VipTool |
140
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
140
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...
151
click to vote
IPMI
2003
Springer
15 years 10 months ago
2003
Springer
A novel method for the segmentation of multiple objects from 3D medical images using inter-object constraints is presented. Our method is motivated by the observation that neighbor...
166
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract— Flash memory is widely used in consumer electronics products, such as cell-phones and music players, and is increasingly displacing hard disk drives as the primary stor...
148
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...