223 search results - page 19 / 45 » Synchronization of Pushdown Automata |
112
Voted
ENTCS
2010
15 years 1 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
133
click to vote
ACSD
2006
IEEE
15 years 3 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
109
Voted
GROUP
1997
ACM
15 years 6 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
108
click to vote
WIA
2000
Springer
15 years 5 months ago
2000
Springer
- Adaptive technologies are based on the self-modifying property of some systems, which give their users a very powerful and convenient facility for expressing and handling complex...
122
Voted
JALC
2007
15 years 1 months ago
2007
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, ...