640 search results - page 85 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
IEICET
2007
13 years 7 months ago
2007
The channel capacity of the indoor multiple input multiple output (MIMO) system is investigated with consideration of the effects of the wall by using a hybrid method of the finit...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
In this paper we introduce Challenger, a multiagent system that performs completely distributed resource allocation. Challenger consists of agents which individually manage local ...
VISUALIZATION
2002
IEEE
14 years 16 days ago
2002
IEEE
GeneVis provides a visual environment for exploring the dynamics of genetic regulatory networks. At present time, genetic regulation is the focus of intensive research worldwide, ...
VW
1998
Springer
13 years 11 months ago
1998
Springer
We propose a system for controlling in real time the localisation of sound sources. The system, called MidiSpace, is a real time spatializer of Midi music. We raise the issue of wh...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...