Sciweavers

8492 search results - page 150 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 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...
155
Voted
COMSNETS
2012
222views more  COMSNETS 2012»
13 years 11 months ago
Exploring the design space of social network-based Sybil defenses
—Recently, there has been significant research interest in leveraging social networks to defend against Sybil attacks. While much of this work may appear similar at first glanc...
Bimal Viswanath, Mainack Mondal, Allen Clement, Pe...
AEI
2007
52views more  AEI 2007»
15 years 4 months ago
A language for functional interpretation of model based simulation
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
Jonathan Bell, Neal Snooke, Chris Price
102
Voted
DAC
2000
ACM
16 years 4 months ago
High-level model of a WDMA passive optical bus for a reconfigurable multiprocessor system
V. E. Boros, Aleksandar D. Rakic, Sri Parameswaran
ATAL
2005
Springer
15 years 9 months ago
Optimal design in collaborative design network
We consider a multiagent system whose task is to aid componentcentered design by collaborative designers in a supply chain. In the earlier work, collaborative design networks are ...
Y. Xiang, J. Chen, William S. Havens