658 search results - page 37 / 132 » Slicing Methods Using Static and Dynamic Analysis Informatio... |
119
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
136
click to vote
KES
1999
Springer
15 years 6 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
139
click to vote
ASIAN
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
118
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
Research into large-scale distributed systems often relies on the use of simulation frameworks in order to bypass the disadvantages of performing experiments on real testbeds. SimG...
240
click to vote
FGR
2011
IEEE
14 years 5 months ago
2011
IEEE
— Recently developed appearance descriptors offer the opportunity for efficient and robust facial expression recognition. In this paper we investigate the merits of the family o...