9626 search results - page 1544 / 1926 » Invariant Based Programming |
214
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
207
click to vote
CAISE
2007
Springer
16 years 29 days ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
166
click to vote
FAW
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we consider a map labeling problem to maximize the number of independent labels in the plane. We first investigate the point labeling model that each label can be ...
219
click to vote
FPGA
2007
ACM
16 years 29 days ago
2007
ACM
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the difficulty of multithread...
200
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents an analysis of microarray gene expression data from patients with and without scleroderma skin disease using computational intelligence and visual data mining ...