Sciweavers

12745 search results - page 412 / 2549
» Automating test automation
Sort
View
KBSE
2006
IEEE
16 years 25 days ago
Automated Reasoning on Aspects Interactions
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
Paolo Falcarin, Marco Torchiano
WECWIS
2006
IEEE
107views ECommerce» more  WECWIS 2006»
16 years 24 days ago
Concept Covering for Automated Building Blocks Selection based on Business Processes Semantics
In this paper we present a novel approach and a system for automated selection of building blocks, by exploiting business processes semantics. The selection process is based on a ...
Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...
HRI
2006
ACM
16 years 23 days ago
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
Lilia Moshkina, Yoichiro Endo, Ronald C. Arkin
MICCAI
2010
Springer
16 years 18 days ago
  A Fully Automated Approach to Segmentation of Irregularly Shaped Cellular Structures in EM Images
While there has been substantial progress in segmenting natural im- ages, state-of-the-art methods that perform well in such tasks unfortunately tend to underperform ...
A. Lucchi, K. Smith, R. Achanta, V. Lepetit, P. Fu...
ACSAC
2005
IEEE
16 years 13 days ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens