432 search results - page 1 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
81
Voted
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
99
Voted
GI
2010
Springer
14 years 10 months ago
2010
Springer
: In this article, it is proven for finite systems that if by reciprocal interaction, one finite system determines the action of another finite system, then both systems become sub...
82
Voted
CAV
2009
Springer
16 years 20 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
95
Voted
CORR
2007
Springer
15 years 3 days ago
2007
Springer
This paper characterizes the effect of finite rate channel state feedback on the sum rate of a multi-access multiple-input multiple-output (MIMO) system. We propose to control th...
108
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...