Sciweavers

3967 search results - page 492 / 794
» Distributed Games and Distributed Control for Asynchronous S...
Sort
View
AICT
2005
IEEE
157views Communications» more  AICT 2005»
15 years 8 months ago
Fast Retransmission of Real-Time Traffic in HIPERLAN/2 Systems
Automatic repeat request (ARQ) schemes are effective to recover non-real-time data corrupted by channel errors, but their use with real-time traffic is seldom considered because p...
Jose A. Afonso, Joaquim E. Neves
VALUETOOLS
2006
ACM
149views Hardware» more  VALUETOOLS 2006»
16 years 20 days ago
Tail asymptotics for discrete event systems
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
Marc Lelarge
EUMAS
2006
15 years 8 months ago
Self-regulating Multi-agent System for Multi-disciplinary Optimisation Process
This article presents a multi-agent method to tackle multidisciplinary optimisation, based on the notions of cooperation and self-regulation. It is focused on the preliminary airc...
Jean-Baptiste Welcomme, Marie Pierre Gleizes, Roma...
FORTE
1997
15 years 8 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
IJCAI
1997
15 years 8 months ago
High Performance ATP Systems by Combining Several AI Methods
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Jörg Denzinger, Marc Fuchs, Matthias Fuchs