3342 search results - page 510 / 669 » Automating Abstract Interpretation |
PTS
2010
13 years 9 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
SOCINFO
2010
13 years 9 months ago
2010
Abstract. Online recommender systems are a common target of attack. Existing research has focused on automated manipulation of recommender systems through the creation of shill acc...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a sol...
MODELS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Modelling languages and thus their metamodels are subject to change. When a metamodel evolves, existing models may no longer conform to the evolved metamodel. To avoid re...
PIMRC
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Social networking on the Web has become an integral part of our lives. Merging of computing with physical things enabled the conversion of everyday objects into informati...