Sciweavers

3908 search results - page 161 / 782
» A model for service-oriented communication systems
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ICMCS
2009
IEEE
183views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Modeling the tele-immersive systems using stochastic activity network
The next-generation social communication medium, teleimmersion, is receiving increasing attention from both the research and industrial communities. It enables interaction between...
Rahul Malik, Wanmin Wu, Klara Nahrstedt
VTC
2006
IEEE
16 years 16 days ago
Wideband Spatial Channel Model for MIMO Systems at 5 GHz in Indoor and Outdoor Environments
This work presents a spatial channel model developed within the EC WINNER' project. The channel model is mainly based on double-directional measurement campaigns carried out i...
Hassan El-Sallabi, Daniel S. Baum, Per Zetterberg,...
DATE
2002
IEEE
146views Hardware» more  DATE 2002»
15 years 11 months ago
Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
Sungjoo Yoo, Gabriela Nicolescu, Lovic Gauthier, A...
IAJIT
2008
120views more  IAJIT 2008»
15 years 6 months ago
A SCOR Reference Model of the Supply Chain Management System in an Enterprise
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
Danish Irfan, Xiaofei Xu, Shengchun Deng, Zengyou ...