12745 search results - page 404 / 2549 » Automating test automation |
219
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
240
click to vote
TMI
2011
15 years 1 months ago
2011
—Due to the enormous potential and impact that stem cells may have on regenerative medicine, there has been a rapidly growing interest for tools to analyze and characterize the b...
209
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
156
click to vote
CASE
2011
14 years 6 months ago
2011
— This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at...
162
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, an automated algorithm to flatten lines from Atomic Force Microscopy (AFM) images is presented. Due to the mechanics of the AFM, there is a curvature distortion (bo...