Sciweavers

13140 search results - page 274 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
EURODAC
1995
IEEE
116views VHDL» more  EURODAC 1995»
15 years 10 months ago
An improved relaxation approach for mixed system analysis with several simulation tools
: This paper introduces a modified relaxation approach that allows to improve the convergence of iterations while analyzing mixed systems with different simulators. The method redu...
Vladimir B. Dmitriev-Zdorov, Bernhard Klaassen
CORR
2004
Springer
133views Education» more  CORR 2004»
15 years 6 months ago
Mathematical Analysis of Multi-Agent Systems
We propose a general mathematical methodology for studying the dynamics of multiagent systems in which complex collective behavior arises out of local interactions between many si...
Kristina Lerman, Aram Galstyan, Tad Hogg
DEXAW
2005
IEEE
210views Database» more  DEXAW 2005»
16 years 9 days ago
LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications
Collaboration activities usually involve several people presenting different group tasks and requirements. Accordingly, collaboration is rarely supported by a single CSCW technolo...
Roberta Lima-Gomes, Guillermo de Jesús Hoyo...
EUROMICRO
2007
IEEE
15 years 10 months ago
Guiding Component-Based Hardware/Software Co-Verification with Patterns
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
Juncao Li, Fei Xie, Huaiyu Liu
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley