7557 search results - page 683 / 1512 » Modeling Timed Concurrent Systems |
180
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
188
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
191
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, based on a passivity framework, admittance-type and hybrid-type delay-compensated communication channel models are introduced, which warrant different bilateral ...
183
click to vote
PCRCW
1997
Springer
15 years 11 months ago
1997
Springer
High performance portable and space-borne systems continue to demand increasing computation speeds while concurrently attempting to satisfy size, weight, and power constraints. As...
174
click to vote
WSC
2004
15 years 8 months ago
2004
The following paper briefly presents the formulation and development of a case study supply chain simulation model as developed for an industrial company. The case study company i...