4716 search results - page 732 / 944 » Iterative-free program analysis |
179
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
119
click to vote
ICNC
2009
Springer
15 years 11 months ago
2009
Springer
The main purpose of this paper is to propose an incorporating a grammatical evolution (GE) into the genetic algorithm (GA), called GEGA, and apply it to estimate the compressive s...
145
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
157
click to vote
CBMS
2007
IEEE
15 years 11 months ago
2007
IEEE
One of the most considerable functions in a hospital's infection control program is the surveillance of antibiotic resistance. Several traditional methods used to measure it ...
157
click to vote
RAID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...