269 search results - page 46 / 54 » Applications of MetiTarski in the Verification of Control an... |
PEWASUN
2004
ACM
14 years 4 days ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...
NETWORKING
2007
13 years 8 months ago
2007
Abstract. Our Token Based Switch (TBS) implementation shows that a packetbased admission control system can be used to dynamically select a fast end-to-end connection over a hybrid...
HCI
2009
13 years 4 months ago
2009
A brain-computer interface is a device that uses signals recorded from the brain to directly control a computer. In the last few years, P300-based braincomputer interfaces (BCIs) h...
IE
2007
13 years 8 months ago
2007
In this paper we introduce a mathematical model of conflict that enhances Richardson’s model of Arms Race accounting for interactive scenarios, such as the ones provided by CRP...
AC
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...