Sciweavers

3103 search results - page 156 / 621
» Intelligent Multimedia Communication
Sort
View
APN
2007
Springer
15 years 9 months ago
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
Kyller Costa Gorgônio, Jordi Cortadella, Fei...
IROS
2006
IEEE
152views Robotics» more  IROS 2006»
15 years 9 months ago
Rescue Communicators for Global Victim Search and Local Rescue Planning
- We are conducting research and development in technology for unifying the information of a large number of intelligent sensors distributed in a disaster-stricken area. Operating ...
Yasushi Hada, Kuniaki Kawabata, Harutoshi Koguchi,...
JELIA
2004
Springer
15 years 8 months ago
Modelling Communicating Agents in Timed Reasoning Logics
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
Natasha Alechina, Brian Logan, Mark Whitsey
FAABS
2004
Springer
15 years 7 months ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio
ACAL
2009
Springer
15 years 6 months ago
Towards Tailored Communication Networks in Assemblies of Artificial Cells
Abstract. Living Technology is researching novel IT making strong use of programmable chemical systems. These chemical systems shall finally converge to artificial cells resulting ...
Maik Hadorn, Bo Burla, Peter Eggenberger Hotz