Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with proprietary management interfaces. Moreover, th...
Sara Bouchenak, Noel De Palma, Daniel Hagimont, Ch...
Abstract – This paper presents a real-time 3D ultrasoundguided robotic system, designed to autonomously navigate a surgical instrument to surgeon-specified target points. The sys...
Jeffrey A. Stoll, Paul M. Novotny, Robert D. Howe,...
Outdoor WLAN communication is envisioning an increasing interest, due to the massive emergence and deployment of outdoor wireless Mesh Networks. This paper provides a report on an...
Giuseppe Bianchi, Fabrizio Formisano, Domenico Giu...
Several concerns in the development of multi-agent systems (MASs) cannot be represented in a modular fashion. In general, they inherently affect several system modules and cannot b...
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...