15614 search results - page 122 / 3123 » The State of State |
133
click to vote
CBSE
2008
Springer
15 years 2 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...
90
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
The capacity region of the Finite-State Multiple Access Channel (FS-MAC) with feedback that may be an arbitrary time-invariant function of the channel output samples is considered....
101
Voted
ENTCS
2010
15 years 26 days ago
2010
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
CCR
2006
15 years 25 days ago
2006
Abstract-- The need for efficient computation of approximate global state lies at the heart of a wide range of problems in distributed systems. Examples include routing in the Inte...
67
Voted
EOR
2007
15 years 22 days ago
2007
We study a leader follower game with two players: a terrorist and a state where the later one installs facilities that provide support in case of a terrorist attack. While the Ter...