7009 search results - page 447 / 1402 » Patterns in Complex Systems Modeling |
168
click to vote
WSC
1997
15 years 9 months ago
1997
In this paper, the case of a cardboard box marketing firm is studied and a (R,s,Q,c) inventory replenishment policy is proposed and evaluated by means of discrete event simulation...
209
click to vote
FM
2003
Springer
16 years 24 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
209
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
187
click to vote
AAAI
2006
15 years 9 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
190
click to vote
DSD
2008
IEEE
16 years 2 months ago
2008
IEEE
Systems on chip (SoC) have much in common with traditional (networked) distributed systems in that they consist of largely independent components with dedicated communication inte...