Future multimedia communication system can be developed to identify, transmit and provide odors besides voice and image. In this paper, an improved odor identification method is i...
Ki-Hyeon Kwon, Namyong Kim, Hyung-Gi Byun, Krishna...
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
We demonstrate the evolution of simple embodied Genetic Regulatory Networks (GRNs) as real-time control systems for robotic and software-based embodied Artificial Organisms, and p...
Tom Quick, Chrystopher L. Nehaniv, Kerstin Dautenh...
With reference to the General Packet Radio Service (GPRS), an extension of the Global System Mobile Communication (GSM) addressing packetoriented traffic, this paper contributes t...
Stefano Porcarelli, Felicita Di Giandomenico, Andr...