370 search results - page 52 / 74 » Object-Oriented Abstract State Machines |
104
click to vote
INTERACT
2003
15 years 3 months ago
2003
Abstract: Designing and implementing multimodal applications that take advantage of several recognitionbased interaction techniques (e.g. speech and gesture recognition) is a diffi...
105
click to vote
FORTE
1998
15 years 3 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...
101
click to vote
ROOM
2000
15 years 3 months ago
2000
A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data...
104
click to vote
JUCS
2008
15 years 1 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
105
click to vote
PPSN
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. While traditional approaches to machine learning are sensitive to highdimensional state and action spaces, this paper demonstrates how an indirectly encoded neurocontroll...