6167 search results - page 216 / 1234 » Can Refinement be Automated |
134
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...
134
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
147
Voted
WIDM
2003
ACM
15 years 10 months ago
2003
ACM
The advent of e-commerce has created a trend that brought thousands of catalogs online. Most of these websites are “taxonomy-directed”. A Web site is said to be ``taxonomydire...
112
Voted
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we address the problem of automatically deriving vocabularies of motion modules from human motion data, taking advantage of the underlying spatio-temporal structure ...
161
Voted
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
—We present a new distributed genetic algorithm that can be used to extract useful information from distributed, large data over the network. The main idea of the proposed algori...