GAZE-2 is an attentive video conferencing system that conveys whom users are talking to by measuring whom a user looks at and then rotating his video image towards that person in ...
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ļ¬...
Modularisation can reduce the effort in designing and maintaining language speciļ¬cations. Existing approaches to language modularisation are typically either focused on language ...
Abstractā Link quality measurement (LQM), i.e. packet reception ratio (PRR) measurement, is becoming an indispensable component in multihop wireless networks. However, in all the...
Kai Zeng, Shucheng Yu, Kui Ren, Wenjing Lou, Yanch...
Enterprise architecting is becoming critical for most modern organizations whose competitive strategies are tightly linked to the underlying information technology (IT) infrastruc...