1255 search results - page 89 / 251 » A Proof Environment for the Development of Group Communicati... |
ERSA
2003
13 years 10 months ago
2003
The Software Communications Architecture (SCA), a mandatory specification for Software Radio implementations by the Joint Tactical Radio System (JTRS), defines a Common Object R...
ATAL
2006
Springer
14 years 20 days ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...
CAISE
2006
Springer
14 years 20 days ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
COLING
1996
13 years 10 months ago
1996
The German joint research project Verbmobil (VM) aims at the deveh)pment of a speech to speech translation system. This paper reports on research done in our group which belongs t...
SIMUTOOLS
2008
13 years 10 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...