2500 search results - page 180 / 500 » Specifying Behavior in C |
117
Voted
FORTE
1998
15 years 4 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
WSC
1998
15 years 4 months ago
1998
Simulation with Arena is used to analyze a controlled conveyor network with merging configuration (CNMC). We use simulation to realize the logic in a queueingtheoretic model (QTM)...
111
click to vote
CMOT
2007
15 years 3 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
105
Voted
MANSCI
2006
15 years 3 months ago
2006
Although there has been much attention in recent years on the effects of additive background risks, the same is not true for its multiplicative counterpart. We consider random wea...
112
click to vote
RAS
2006
15 years 3 months ago
2006
This article explores the assumption that a deeper (quantitative) understanding of the information-theoretic implications of sensory-motor coordination can help endow robots not o...