Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Ugo Buy"'
Publikováno v:
IEEE Access, Vol 8, Pp 187648-187670 (2020)
Several techniques exist for mobile test automation, from script-based techniques to automated test generation based on GUI models. Most techniques fall short in being adopted extensively by practitioners because of the very costly definition (and ma
Externí odkaz:
https://doaj.org/article/e2d06014f1ed46498ad23e9527dde864
Publikováno v:
IEEE Access, Vol 8, Pp 187648-187670 (2020)
Several techniques exist for mobile test automation, from script-based techniques to automated test generation based on GUI models. Most techniques fall short in being adopted extensively by practitioners because of the very costly definition (and ma
Autor:
Ugo Buy, Hoangminh Huynhnguyen
Publikováno v:
SA
Surgical gesture segmentation and recognition are important steps toward human-robot collaboration in robot-assisted surgery. In the human-robot collaboration paradigm, the robot needs to understand the surgeon's gestures to perform its tasks correct
Publikováno v:
ISSRE Workshops
Deadlock is among the most complex problems that affect the reliability of concurrent programs such as real-time operating systems. Deadlocks occur when multiple processes or threads are mutually blocked while holding a resource required by another p
Autor:
Sean Deitz, Ugo Buy
Publikováno v:
GAS@ICSE
Novice programmers often struggle with many concepts underlying computer programming. The concept of a program variable--that is, a named storage location--is a centerpiece of the programming languages typically taught in introductory computer scienc
Publikováno v:
Journal of Urology. 195
INTRODUCTION AND OBJECTIVES: Semen analysis is the key element in the diagnosing the reproductive potential of a male subject. In current practice men must use a clinic or other hospital facility to have their semen analyzed. However, many subjects a
Publikováno v:
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans. 41:522-539
We define a method for the automatic generation of supervisory controllers that force a plant to perform a given operation by a given deadline. The operation must be executed by a prespecified delay λ with respect to the previous execution of the op
Publikováno v:
IEEE Transactions on Control Systems Technology. 19:455-464
Sequential function charts (SFCs) are among the standard languages for programmable logic controllers (PLCs) ubiquitous in automated manufacturing and production systems. While SFCs are quite user friendly to developers, it is not easy to guarantee t
Publikováno v:
IEEE Transactions on Automation Science and Engineering. 5:84-100
This paper defines a reconfiguration method for the class of discrete-event systems (DES) that is subject to linear constraints as their control specifications. Some existing methods for enforcing these constraints make use of Petri-net P-invariants
Publikováno v:
Social Network Analysis and Mining. 5
Online Social Networks (OSNs) play a significant role in the daily life of hundreds of millions of people. However, many user profiles in OSNs contain deceptive information. Existing studies have shown that lying in OSNs is quite widespread, often fo