22 search results - page 1 / 5 » Constructing Behavioral State Machine using Interface Protoc... |
APSEC
2006
IEEE
13 years 10 months ago
2006
IEEE
DAGSTUHL
2006
13 years 5 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
TROB
2002
13 years 4 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
CBSE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
EVOW
2004
Springer
13 years 9 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...