12745 search results - page 357 / 2549 » Automating test automation |
279
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
168
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
Security aspects of today’s automation systems gain increasing importance. One critical point regarding security is the exchange of control data over the network. Recently, cryp...
217
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Most outdoor visual surveillance scenes involve objects of interest moving on the ground plane. However, perspective distortion introduces many difficulties to various applicatio...
162
Voted
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
169
click to vote
IWSOS
2007
Springer
16 years 26 days ago
2007
Springer
Autonomic computing environments rely on devices that are able to make intelligent decisions without human supervision. Automated Trust Negotiation supports the cooperation of devi...