Sciweavers

3605 search results - page 582 / 721
» System and simulation modeling using SysML
Sort
View
AINA
2006
IEEE
15 years 7 months ago
Towards an Unified Experimentation Framework for Protocol Engineering
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
Laurent Dairaine, Ernesto Exposito, Herve Thalmens...
135
Voted
CEC
2005
IEEE
15 years 5 months ago
Making soccer kicks better: a study in particle swarm optimization and evolution strategies
Biomechanics is a science of examining the internal and external forces on the human body. In biomechanics, forward dynamics simulation models can be used to study optimal control ...
Namrata Khemka, Christian Jacob, Gerald Cole
131
Voted
VTC
2010
IEEE
140views Communications» more  VTC 2010»
15 years 1 months ago
Co-Channel Interference Mitigation Capability of Fixed Relays Connected by Optical Fibre
Abstract— In this paper, we consider the co-channel interference mitigation capability of fixed relay aided wireless systems, where the relays are linked to the base station usi...
Rong Zhang, Xinyi Xu, Lajos Hanzo
115
Voted
COMPSEC
2010
142views more  COMPSEC 2010»
15 years 7 days ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto
ICC
2007
IEEE
117views Communications» more  ICC 2007»
15 years 9 months ago
ESPRIT-Based Directional MAC Protocol for Mobile Ad Hoc Networks
— The use of directional antennas in mobile ad hoc networks has shown to offer large potential throughput gains relative to omnidirectional antennas. When used in ad hoc networks...
Kun Liu, Walaa Hamouda, Amr Youssef