1414 search results - page 83 / 283 » Automated Metamorphic Testing |
AINA
2008
IEEE
14 years 3 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Circuit fabrics composed of highly regular structures, called logic bricks, have been described recently for improving yield. An automated logic brick design flow based on a SAT ...
ESORICS
2007
Springer
14 years 3 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
ICTAI
2006
IEEE
14 years 3 months ago
2006
IEEE
In order for an autonomous agent to behave robustly in a variety of environments, it must have the ability to learn approximations to many different functions. The function approx...
ISBI
2006
IEEE
14 years 3 months ago
2006
IEEE
Automated detection of stable fracture points in a sequence of Computed Tomography (CT) images is found to be a challenging task. In this paper, an innovative scheme for automatic...