8 search results - page 1 / 2 » Designing state-based systems with entity-life modeling |
CMSB
2004
Springer
13 years 11 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
FMICS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
ICC
2008
IEEE
13 years 12 months ago
2008
IEEE
—Design strategy for non-regenerative multiple-input multiple-output (MIMO) relay system with partial channel state information (CSI) is developed. We assume that the CSI of the ...
FUIN
2008
13 years 5 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....